Programas por triple-a.sf.net

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 Presb