Compilador Spinja Promela.

Um verificador de modelo baseado em Java para Promela
Baixe Agora

Compilador Spinja Promela. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Apache
  • Nome do editor:
  • University of Twente
  • Site do editor:
  • http://code.google.com/u/Theo.Ruys/
  • Sistemas operacionais:
  • Mac OS X
  • Tamanho do arquivo:
  • 237 KB

Compilador Spinja Promela. Tag


Compilador Spinja Promela. Descrição

O Spinja Promela Compiler é um verificador de modelo livre e de código aberto para Promela, escrito em Java. O Promela é a linguagem de modelagem para o verificador de modelos de rotação. Spinja suporta um grande subconjunto da linguagem do Promela.Você poderá usar o compilador Spinja Promela para verificar a ausência de deadlocks, afirmações, propriedades de vitalidade e propriedades LTL (por nunca reivindicações). O modo de verificação de Spinja pode usar a profundidade (aninhada) Primeira pesquisa ou amplitude da primeira pesquisa. O Spinja Promela Compiler é plataforma cruzada e funciona no Mac OS X, Windows e Linux.


Compilador Spinja Promela. Software Relacionado

Jasa.

permite gravar simulações de negociação de alto desempenho ...

79 5.5 MB

Download

Sobre nós