如何在Windows上安装并运行NuSMV？

NuSMV是一款模型检测工具，个人在Windows上安装及运行时遇到不少的问题，而国内很少有具有参考性的回答。在这里写出来，让新人少走弯路。

1.在NuSMV官网自行下载二进制文件，并解压缩。（注意，除非有需要，避免下载源文件，因为需要额外安装cygwin来编译，会比较麻烦）

                            

2.将解压缩后NuSMV.exe所在的/bin文件路径添加到系统的环境变量Path中。（这样更方便，即使在别的路径也可以运行）

                                                    

3.将编辑好的smv文件放在用户路径中（注意，不是/bin路径），运行NuSMV xxx.smv即可。（NuSMV的运行方式分为交互式和直接运行，这里采用的是直接运行，具体的指令可以参考官网的教程）