| Triplo A Biblioteca Full-Featured for (finite) autômato escrito em Java |
Baixe Agora |
Triplo A Classificação e resumo
- Nome do editor:
- Markus Strauch
- Sistemas operacionais:
- macOS
- Tamanho do arquivo:
- 3.1 MB
Triplo A Tag
Triplo A Descrição
Biblioteca Full-Featured for (finite) autômato escrito em Java Triple-A (Análise Automática com Automata) é uma biblioteca de recursos completos para autômatos (finitos) escritos em Java 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. Requisitos: · Java 1.5 ou mais tarde
Triplo A Software Relacionado