Mémoires de Fin d’Etudes
Etablissement
Université de Boumerdès - M’hamed Bougara
Affiliation
Département d’Informatique
Auteur
BELKACEMI, Lila
Directeur de thèse
MEZGHICHE Mohamed (Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Formalisation de la logique temporelle dans le COQ.
Mots clés
logique temporelle; formalisation; COQ.
Résumé
Ce travail traite le problème de la formalisation de la logique temporelle (PLTL) dans l’objectif de prouver à l’aide de l’assistant de preuve COQ que la méthode des tableaux est complète et adéquate pour cette logique.
Statut
A modifier