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
• 关键词: Automatic; software; verification; harnessing; constraint

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.

随着我们越来越依赖软件来管理我们生活中越来越多的方面，软件可靠性的重要性也随之增加。然而，随着程序变得越来越复杂，可靠性变得越来越难以捉摸。该项目将开发自动化工具和技术，以确保程序执行其预期的操作。