Software verification tools based on lightweight specifications

基于轻量级规范的软件验证工具

• 批准号: 356027-2008
• 负责人: Lam, Patrick
• 金额: $ 1.36万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2012
• 资助国家: 加拿大
• 起止时间: 2012-01-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=503212
• 关键词: Software; verification; tools; based; lightweight

Software systems are notoriously difficult to get right. A key problem is that it is difficult to state just what it means for a software system to be "right" in the first place: while it is easy to point out particular undesired behaviours, particularly crashes, it is difficult to specify a software system's desired behaviours.

软件系统是出了名的难以正确使用的。一个关键的问题是，很难首先说明软件系统“正确”意味着什么：虽然很容易指出特定的不希望的行为，特别是崩溃，但很难指定软件系统的期望行为。