NuSMV version 2.4.3 安装软件
官网http://nusmv.fbk.eu/
NuSMVversion2.4.3安装软件
exe文件，直接安装。
NuSMVisasymbolicmodelcheckerdevelopedasajointprojectbetweentheFormalMethodsgroupintheAutomatedReasoningSystemdivisionatITC-IRST,theModelCheckinggroupatCarnegieMellonUniversity,theMechanizedReasoningGrou
下载地址
用户评论
不大会用，菜鸟伤不起...
版本太老了，有没有教程啊
不错，工具挺好的 模型检测器
版本有点老，不过很好！
版本有点老