Discovery Projects - Grant ID: DP120101244

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP120101244

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

Mechanised foundations of proof calculi. Commercial program verification tools based upon special-purpose logic-based proof calculi can now guarantee that large programs are free of specific bugs. But who verifies the proof-calculi? Our research will lead to tools to automatically verify proof-calculi and will eventually help to avoid costly post-construction debugging.

Funded Activity Details

Start Date: 30-01-2012

End Date: 31-12-2016

Funding Scheme: Discovery Projects

Funding Amount: $360,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Computational Logic and Formal Languages | Computer System Security | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Computer Software and Services not elsewhere classified |

Other Keywords

Computation Theory and Mathematics | Computational Logic and Formal Languages | Computer Software and Services not elsewhere classified | Computer System Security | Expanding Knowledge in the Information and Computing Sciences

Related Links