Triplo A

Análise automática facilitada.
Baixe Agora

Triplo A Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • GPL
  • Nome do editor:
  • Markus Strauch
  • Sistemas operacionais:
  • Windows All
  • Tamanho do arquivo:
  • 3.1 MB

Triplo A Tag


Triplo A Descrição

Triple-A ou Análise Automática com Automata é uma biblioteca baseada em Java de recursos completos para autômatos finitos projetados com duas poderosas ferramentas de análise (lidar com a verificação de modelo LTL e aritmética do presburger) e uma interface gráfica do usuário construída em torno dela.


Triplo A Software Relacionado

Sobre nós