![](/statics/img/blank.png)
Triple-A 1.4.1
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 5.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur Triple-A
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 Presburger) et une interface utilisateur graphique construite autour d’elle.