NuSMV
Tipo de licencia:Gratuita
Descargas totales:66
Latest version:2.6
Descripción
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, Navicat Data Modeler o PiXel Check, que podrían ser similares a NuSMV.
Comentarios
Subscribe to commentsPor favor, añade un comentario explicando las razones de tu voto.