文件名称：NuSMV模型检测器
文件大小：3.17MB
文件格式：GZ
更新时间：2014-08-07 03:54:15
NuSMV
NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。希望对大家有所帮助。
NuSMV模型检测器
【文件属性】：
网友评论
- 安装到最后一步，make失败了，不知道原因
- 我的电脑也安装不了，不知道是不是因为系统的原因
- 还没有装，不知道能不能装上，有没有NuSMV的一些比较好的教程，求推荐下！
- 不会用，不过这个NuSMV相当有名
- 安装不了，，，，，
- 还可以，电脑上可以用
- 版本有点低，可以在官网下载最新版