Website
http://dataportal.arc.gov.au/NCGP/API/grants/DP110102579
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
Automatic software verification: harnessing constraint technologies. As we come to rely on software to manage more and more aspects of our lives, the importance of software reliability increases; yet as programs become increasingly complex, reliability becomes ever more elusive. This project will develop automated tools and techniques to ensure that programs do what they were intended to do.Funded Activity Details
Start Date: 2011
End Date: 12-2015
Funding Scheme: Discovery Projects
Funding Amount: $479,000.00
Funder: Australian Research Council
Research Topics
ANZSRC Field of Research (FoR)
Programming Languages | Computational Logic and Formal Languages | Computer Software
