兰斯·克莱维兰 模型检查的语用学:STTT专题。 (英文) Zbl 1059.68583号 国际期刊软件。技术工具。Transf公司。2,第3期,208-218(1999)。 摘要:自20世纪80年代初发现模型检查以来,模型检查已成为系统正确性正式验证领域中最令人兴奋的领域之一。这种热情的主要原因在于模型检查器以完全自动化的方式确定系统是否满足正式需求;用户无需构造证明。然而,直到20世纪90年代初,模型检查的实际影响都不大,很大程度上是因为国家爆炸问题限制了该技术的适用性。然而,该领域的最新进展极大地扩大了模型检查的范围,从业者对它的兴趣也在增长。本节特别介绍了几种最近用于攻击状态爆炸的方法,这些方法支持模型检查作为改进系统设计的可行技术的持续发展。 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:模型检查;时序逻辑;状态爆炸;系统验证 软件:fc2工具 PDF格式BibTeX公司 XML格式 全文: 内政部