Triple-A 1.4.1 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. El auténtico artífice de este programa sin coste es Markus Strauch. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. Triple-A pertenece al grupo de programas Educación y Ciencia, en concreto al de aplicaciones sobre Science.
Del desarrollador:
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java. The application comes with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
Quizás esté interesado en probar otros programas, como Triplea, iPhoto Library Manager o Delicious Library 2, que podrían ser similares a Triple-A.