NuSMV 2.6.0 pode ser baixado do nosso site de graça. O tamanho do último pacote de instalação disponível para download é de 4.6 MB. Nossa análise feita pelo antivírus mostra que esse download está seguro. Esse programa tem como desenvolvedor Andrew Heard. NuSMV está relacionado como Ferramentas de Desenvolvimento.
Do desenvolvedor:
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.
Confira mais programas, tais como Insights, que podem ser relacionados a NuSMV.