NuSMV 2.5.2 win.exe

【文件属性】：

文件名称：NuSMV 2.5.2 win.exe

文件大小：5.61MB

文件格式：EXE

更新时间：2013-11-21 04:09:47

NuSMV 2.5.2 win

nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。2.5.2 windows 版。