NuSMV模型检测工具安装包

【文件属性】：

文件名称：NuSMV模型检测工具安装包

文件大小：4.03MB

文件格式：GZ

更新时间：2022-01-02 15:13:04

模型检测 NuSMV

新符号模型检测工具，对SMV重构的一个模型检测工具，支持计算树逻辑CTL和线性时序逻辑LTL描述的所有规范，整合了以SAT为基础的有界模型检测技术。