Automatic software verification: Harnessing constraint technologies

Grant number: DP110102579 | Funding period: 2011 - 2015



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.

Related publications (9)