SMV 模型检测

SMV 模型检测工具使用方法 使用cygwin在win32平台下模拟Unix，；1.从NuSMVhomepage下载压缩包NuS；2.参照F:\NuSMV-2.5.4\nusmv；3.下载minisat软件包至F:\NuSMV-；4.下载zchaff软件包至F:\NuSMV-2；5.在cygwin的bash中依次键入：；cdF:/NuSMV-2.5.4/cudd-2.；make(回车)；