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