Website
http://dataportal.arc.gov.au/NCGP/API/grants/DP140102194
Funding Status
Closed
Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the Feedback Form.
Funded Activity Summary
Analysing Computer Arithmetic to Improve Software Reliability. Most computer programs deal with integers. Automated tools designed to verify the correct behaviour of software usually assume the software deals with idealised mathematical integers, since this simplifies reasoning significantly. In reality, most programs work with integer number representations that approximate the ideal. This compromises the soundness of many verification tools. This project will design sound reasoning tools that are aware of the true nature of computer integer arithmetic.Funded Activity Details
Start Date: 07-2014
End Date: 07-2018
Funding Scheme: Discovery Projects
Funding Amount: $385,000.00
Funder: Australian Research Council
Research Topics
ANZSRC Field of Research (FoR)
Programming Languages | Computational Logic and Formal Languages | Computer Software
