NuSMV

por Andrew Heard

Descargar ahora 4.6 MB

Tipo de licencia: Gratuita

Descargas totales:68

Latest version:2.6

Reportar información incorrecta

Descripción

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

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos