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