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
Vérification formelle
Logique du premier ordre
Logique de séparation
Complexité
Reconfiguration
Systèmes distribués
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