Triple-A 1.4.1 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.
Sur notre site, vous trouverez Triple-A dans Éducation et Science et plus précisément Science. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. Ce logiciel gratuit a été à l'origine écrit par Markus Strauch.
Du développeur:
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.
Utilisateur de Triple-A, vous pourriez être intéressé également par ces outils : Final Cut Pro, iSubtitle ou ConceptDraw PRO.