1. 首页
  2. 数据库
  3. 其它
  4. nuXmv 2.0.0 win64.tar.gz

nuXmv 2.0.0 win64.tar.gz

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