文件名称：nusmv（WIN）
文件大小：6.86MB
文件格式：EXE
更新时间：2012-07-20 14:58:27
nusmv 形式化验证
nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。windows版。
nusmv（WIN）
【文件属性】：
网友评论
- 旧版本的，一些性质不能验证，还需在linux下执行。
- 确实是旧版本，不过写论文用，还是够了
- 可以用，不过是2.4.3 现有有2.5版本的了
- 版本比较低啊
文件名称：nusmv（WIN）
文件大小：6.86MB
文件格式：EXE
更新时间：2012-07-20 14:58:27
nusmv 形式化验证
nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。windows版。