NuSMV2.6 符号模型检查器的技术资料与用户手册 NUSMV项目旨在开发一个最先进的符号模型检查器,设计用于技术转让项目:它是一个很好的结构化的、开放的、灵活的和有文件化的模型检查平台,并且是鲁棒的
