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
Tags & Categories
etablissement
université
affiliation
informatique
boumerdes
hamed
bougara
logique
temporelle
formalisation
universitÉ
Établissement
établissement
univérsité
établissement
boumerdes
établissement
departement
universite
affiliation
belkacemi
boumerdès
d’informatique
département
directeur
etablissement
université