Sujet : Vérification LTL pour AltaRica.

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.