NuSMV

Licença: Gratuito

Total de downloads:66

Latest version:2.6

Imagem do ecrã

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 SeqMan, Wizard Pro ou Insights, que podem ser relacionados a NuSMV.

Baixar NuSMV

Denunciar informações incorretas

útil

Como proteger seu Mac contra malware

útil

Como compartilhar arquivos

útil

Como digitar com 10 dedos