NuSMV是一款模型检测工具,个人在Windows上安装及运行时遇到不少的问题,而国内很少有具有参考性的回答。在这里写出来,让新人少走弯路。
1.在NuSMV官网自行下载二进制文件,并解压缩。(注意,除非有需要,避免下载源文件,因为需要额外安装cygwin来编译,会比较麻烦)
2.将解压缩后NuSMV.exe所在的/bin文件路径添加到系统的环境变量Path中。(这样更方便,即使在别的路径也可以运行)
3.将编辑好的smv文件放在用户路径中(注意,不是/bin路径),运行NuSMV xxx.smv即可。(NuSMV的运行方式分为交互式和直接运行,这里采用的是直接运行,具体的指令可以参考官网的教程)