NuSMV

Tipo de licencia: Gratuita

Descargas totales:66

Latest version:2.6

Captura de pantalla

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 Solibri Model Checker, PiXel Check o Grammarly Spell Checker & Grammar, que podrían ser similares a NuSMV.

Descarga NuSMV

Reportar información incorrecta

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos