NuSMV
Andrew Heard
v 2.6
Baixar agora
4.6 MB
Baixar agora
4.6 MB
Licença:Gratuito
Total de downloads:66
Latest version:2.6
Informação atualizada em:
Denunciar informações incorretas
Descrição
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 ou Wizard Pro, que podem ser relacionados a NuSMV.
Denunciar informações incorretas
Comentários
Subscribe to commentsPor favor, adicione um comentário explicando o raciocínio por trás do seu voto.