NuSMV 2.6.0 puede descargarse desde nuestra página web gratuitamente. Este programa sin coste fue diseñado originariamente por Andrew Heard. Esta descarga ha sido escaneada por nuestro antivirus y ha determinado que no contiene virus. El fichero de instalación más actual disponible para descarga requiere 4.6 MB de espacio libre en el disco duro. La herramienta pertenece al grupo de aplicaciones sobre Desarrollo.
Del desarrollador:
NuSMV is a symbolic model checker for the analysis of synchronous finite-state and infinite-state systems. NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs.
Quizás esté interesado en probar otros programas, como Navicat Data Modeler, Grammarly Spell Checker & Grammar o Live2D Cubism Modeler, que podrían ser similares a NuSMV.