×

模型检查。教程介绍。 (英语) Zbl 0960.68110号

Cortesi,Agostino(编辑)等人,《静态分析》。第六届国际研讨会,1999年9月22日至24日,意大利威尼斯,SAS’99。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1694, 330-354 (1999).
摘要:在过去二十年中,模型检查已成为一种有希望的、强大的硬件系统全自动验证方法。但是模型检查技术可以有效地应用于其他应用领域,本文提供了一些基础知识,从业者可以使用这些基础知识将验证问题转换为模型检查问题。给出了“模型”、“属性”和“模型检查”概念的分类,并描述了三种标准的模型检查方法,并将其应用于示例。
关于整个系列,请参见[兹比尔0929.00064].

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)

关键词:

模型检查
PDF格式BibTeX公司 XML格式引用