文件名称：NuSMV-2.6.0-win64.tar.gz
文件大小：6.13MB
文件格式：GZ
更新时间：2022-11-17 04:34:38
形式化验证 Ptolemy model checking
形式化验证工具，NuSMV 2.6.0 is a major release that comes after four years passed working under the surface. The release provides some new features, many bug fixes and optimizations, and substantial differences in the software architecture and building system.