随笔分类 -  Module Checking

NuSMV 学习笔记
摘要：NuSMV(New Symbolic Model Verifier)新符号模型检测工具 1、安装方法 win64下，下载二进制文件：http://nusmv.fbk.eu/distrib/NuSMV-2.6.0-win64.tar.gz CMD进入bin文件夹运行 NuSMV， 得到以下结果 2、数 阅读全文
posted @ 2020-11-08 05:57 AidenChen8 阅读(2205) 评论(0) 推荐(0)