nuXmv 2.0.0 win64.tar.gz

nuXmv是一种新的符号模型检查器,用于分析同步有限状态和有限状态系统。 nuXmv扩展NuSMV沿着两个主要方向: 对于有限状态的情况,nuXmv具有基于最先进的基于SAT的算法的强大验证引擎。 对于无限状态的情况,nuXmv具有基于SMT的验证技术,通过与数学5。 查看的完整列表特征由nuXmv提供,或者看看用户手册。 nuXmv目前以二进制形式获得许可,用于非商业或学术目的。