Discovery Projects - Grant ID: DP140102194

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/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 .

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: 01-07-2014

End Date: 31-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

ANZSRC Socio-Economic Objective (SEO)

Computer Software and Services not elsewhere classified |

Other Keywords

Computational Logic and Formal Languages | Computer Software | Computer Software and Services not elsewhere classified | Programming Languages

Related Links