课题基金 / 基金详情

Mechanised foundations of proof calculi

Mechanised foundations of proof calculi
证明演算的机械化基础
批准号：
DP120101244
负责人：
Prof Rajeev Gore
金额：
$25.22万
依托单位：
The Australian National University
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2012
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2012-01-30 至 2016-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP120101244
关键词：
Mechanisedfoundationsproofcalculi

项目摘要

项目成果

Prof Rajeev Gore的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Machine-checked Foundations for Verified Vote Counting
  • 批准号：
    DP140101540
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $25.17万
  • 财政年份：
    2014
  • 负责人：
    Prof Rajeev Gore
  • 依托单位：
    The Australian National University
Expressive power and complexity of temporal logics for model-checking
  • 批准号：
    LX0242359
  • 项目类别：
    Linkage - International
  • 资助金额：
    $0.35万
  • 财政年份：
    2002
  • 负责人：
    Prof Rajeev Gore
  • 依托单位：
    The Australian National University
海外基金