文件名称：NuSMV-2.5.2.exe
文件大小：4.48MB
文件格式：EXE
更新时间：2014-01-19 10:22:19
model checking tool; NuSMV
This is latest version of NuSMV, the New Symbolic Model Verifier.
NuSMV-2.5.2.exe
【文件属性】：
网友评论
- 还行 就是不晓得杂用啊 东东比较难懂
- 正在学习NuSMV，Linux下还没弄好，先下个windows下的试试
- 毕设需要，下载了之后不知道该怎么用。。。
- 用起来还不错啊。
- 我正在对模型检测器SPIN和NuSMV进行研究，这个对我有帮助。
- 还在研究怎么用，看起来是省去了装LINUX的麻烦
- 能安装 可以用 很方便
- 帮了大忙了，可以用
- 可以用~还不错
- 上次下载正确，这次怎么安装出现错误了。。。。