![](/statics/img/blank.png)
Triple-A 1.4.1
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 5.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de Triple-A
Triple-A (Automatic Analysis with Automata) es una biblioteca completa para autómatas (finitos) escrita en Java con dos potentes herramientas de análisis (que tratan con la comprobación de modelos LTL y la aritmética de Presburger) y una interfaz gráfica de usuario construida a su alrededor.