Responsable : Marc Zeitoun
Téléphone : 05 40 00 60 94
E-mail : Marc.Zeitoun@labri.fr
Contexte et objectif du projet :
Implémentation dans les outils AltaRica de l'algorithme LTL->Büchi vu en cours.
Mots-clés : Vérification LTL, AltaRica, Implémentation.