课题基金 / 基金详情

Automatic software verification: harnessing constraint technologies

Automatic software verification: harnessing constraint technologies
自动软件验证：利用约束技术
批准号：
DP110102579
负责人：
Prof Peter Stuckey
金额：
$33.63万
依托单位：
The University of Melbourne
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2011
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2011-01-01 至 2015-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP110102579
关键词：
Automaticsoftwareverificationharnessingconstraint

项目摘要

项目成果

Prof Peter Stuckey的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Constraint-based Reasoning for Multi-agent Pathfinding
  • 批准号：
    DP200100025
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $27.38万
  • 财政年份：
    2020
  • 负责人：
    Prof Peter Stuckey
  • 依托单位：
    Monash University
Improving the integrity of complex software systems
  • 批准号：
    DP0342703
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $8.87万
  • 财政年份：
    2003
  • 负责人：
    Prof Peter Stuckey
  • 依托单位：
    The University of Melbourne
国内基金
海外基金
低辐射空间环境下商用多核处理器层次化软件容错技术研究
  • 批准号：
    90818016
  • 项目类别：
    重大研究计划
  • 资助金额：
    50.0万元
  • 批准年份：
    2008
  • 负责人：
    傅忠传
  • 依托单位：
    哈尔滨工业大学