Le moteur de recherche
des thèses françaises
Stéphane P. Demri
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Logiciels -- Vérification
Logique temporelle
Logique du premier ordre
Logique de séparation
Complexité
Model checking
Ltl
Fo
Propriété du modèle fini
Sureté des programmes
Vérification de programmes
Démonstrateur automatique
Encodage
Vérification deductive
Modèle mémoire
Automatisation
Polymorphisme
Structure de donnée
Théorèmes -- Démonstration automatique