 | Triple ABiblioteca completa para (finita) autómata escrito en Java |
| Descargar ahora | |
Triple A Clasificación y resumen
Anuncio publicitario
- Licencia:
- Freeware
- Precio:
- FREE
- Nombre del editor:
- Markus Strauch
- Sitio web del editor:
- Sistemas operativos:
- macOS
- Tamaño del archivo:
- 3.1 MB
Triple A Etiquetas
Triple A Descripción
Biblioteca completa para (finita) autómata escrito en Java TRIPLE-A (Análisis automático con Automata) es una biblioteca completa para (finita) Automata escrita en Java con dos herramientas de análisis potentes (que trata con la verificación de modelos LTL y la aritmética de Presborger) y una interfaz de usuario gráfica construida a su alrededor. Requisitos: · Java 1.5 o posterior
Triple A Software relacionado
