模型检测nuXmv 1.1.1

本软件下载地址未录入，如想要软件请评论，我们会补上！

nuXmv x64版他是模型检测工具

nuXmv模型分析是一个新的符号模型检测器同步有限状态和无穷状态系统。

nuXmv延伸NuSMV沿着两个主要方向:

对于有限状态的情况,nuXmv功能强大的基于最先进的SAT-based算法验证引擎。

对于无穷状态的情况,nuXmv SMT-based验证技术特性,通过与MathSAT5紧密集成实现。