反应系统的建模规约与验证

• 作者: L.埃斯托
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 反应系统 算法验证 规约 计算机科学 建模 人工制品 计算机模型 计算系统
• 年，卷（期）: 2009,（5）
• 页码范围: 9-10
• 页数: 2页
• 分类号: TP391.9

摘要

计算机科学建造人工制品，这些人工制品应为用户提供某些明确的服务。它们正确地完成所担负目的的行为规约是至关重要的。确定计算系统是否确实提供了由它的规约所描述的行为问题叫做正确性问题，它是计算机科学中最基本的问题。研究描述计算机模型及它们的规约，以及根据它们的规约建立系统正确性的方法（有可能是自动的），叫做算法验证。