![](/statics/img/blank.png)
Triple-A 1.4.1
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 5.0/5 - 1 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre Triple-A
Triple-A (Automatic Analysis with Automata) é uma biblioteca completa para autômatos (finitos) escritos em Java com duas poderosas ferramentas de análise (lidando com verificação de modelo LTL e aritmética presburger) e uma interface de usuário gráfica construída ao seu redor.