×

兹马思-数学第一资源

nusmv2:一个用于符号模型检查的开源工具。(英语) Zbl 1010.68766
Brinksma,Ed(Ed.)等人,计算机辅助验证。第14届国际会议,CAV 2002,丹麦哥本哈根,2002年7月27日至31日,会议记录。柏林:斯普林格。选择。笔记计算。科学。2404359-364(2002年)。
摘要:本文介绍了NuSMV工具的\(2\)版本。NuSMV是在CMU开发的基于BDD的模型检查器SMV的再工程、再实现和扩展的基础上发展起来的符号模型检查器。NuSMV项目旨在开发最先进的符号模型检查器,旨在适用于技术转让项目:它是一个结构良好、开放、灵活和有文档记录的模型检查平台,并且健壮且接近工业系统标准。
整个系列请参见[Zbl 0993.00049].

理学硕士:
68U99 计算方法与应用
68Q60型 规范和验证(程序逻辑、模型检查等)
软件:
;努西姆
PDF格式 BibTeX公司 XML 引用
全文: 链接