NuSMV

NuSMV

Licença:Gratuito

Total de downloads:66

Latest version:2.6

Informação atualizada em:

Imagem do ecrã

Screenshot

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.

Comentários

Obrigado por classificar o programa!
Por favor, adicione um comentário explicando o raciocínio por trás do seu voto.
Seu voto: