文件名称：NuSMV-2.5.4
文件大小：3.78MB
文件格式：GZ
更新时间：2015-11-07 04:23:21
NuSMV-2.5.4
NuSMV is a symbolic model checker developed as a joint project between the Formal Methods group in the Automated Reasoning System division at ITC- IRST, the Model Checking group at Carnegie Mellon University , the Mechanized Reasoning Group at University of Genova and the Mechanized Reasoning Group at University of Trento.