亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金奇利亚;马可·罗维里 NuSMV：一种新的符号模型检查器。 （英语） Zbl 1059.68582号 国际期刊软件。技术工具。Transf公司。第2卷第4期，第410-425页（2000年）。 摘要：本文描述了一种新的符号模型检查器，称为NuSMV，它是CMU和IRST联合项目的一部分。NuSMV是CMU SMV模型检查器的再工程、重新实现和在有限程度上的扩展的重用。本文的核心内容包括对NuSMV功能、体系结构和实现的详细描述。 引用于47文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：符号模型检查;时间逻辑;自动验证;技术转让工具 软件：NuSMV公司;CUDD公司 PDF格式BibTeX公司 XML格式 全文： 内政部