Research Grant
[Cite as http://purl.org/au-research/grants/arc/DP120101244]Researchers: A/Prof Rajeev Gore (Chief Investigator) , Prof Dale Miller (Partner Investigator) , The Australian National University (Managed by)
Brief description 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.
Funding Amount $360,000
Funding Scheme Discovery Projects
- ARC : DP120101244
- PURL : http://purl.org/au-research/grants/arc/DP120101244