NuSMV

por Andrew Heard

Baixar agora 4.6 MB

Licença: Gratuito

Total de downloads:68 (1 na última semana)

Latest version:2.6

Denunciar informações incorretas

Descrição

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

útil

Como proteger seu Mac contra malware

útil

Como compartilhar arquivos

útil

Como digitar com 10 dedos