Dominique Larchey-Wendling
IdRefMots clés
FR |
EN
Modélisation
Logiques de ressources
Logiques de séparation
Logique informatique
Méthodes formelles (informatique)
Vérification et preuve
Dynamique
Méthodes des tableaux
Recherche de preuves
Méthodes formelles
Extraction de contre-Modèles
Systèmes, Conception de
Systèmes dynamiques
Simulation, Méthodes de
Preuve
Logiques temporelles
Logiques épistémiques
Logiques hybrides
Calcul des tableaux
Labels