Programmes par triple-a.sf.net

Triple-A (Automatic Analysis with Automata) est une bibliothèque complète pour les automates (finis) écrits en Java avec deux outils d’analyse puissants (traitant de la vérification des modèles LTL et de l’arithmétique Presbu