课题基金 / 基金详情

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
  • 负责人：
    傅忠传
  • 依托单位：
    哈尔滨工业大学