Le moteur de recherche
des thèses françaises
David J. Pym
IdRefMots clés
FR |
EN
Logique informatique
Modélisation
Logiques de ressources
Logiques de séparation
Méthodes formelles (informatique)
Logique de séparation
Vérification formelle
Procédure de décision
Solveur
Décidabilité
Complexité
Séparation (informatique)
Vérification de modèles (informatique)
Complexité de calcul (informatique)
Vérification et preuve
Dynamique
Méthodes des tableaux
Recherche de preuves
Méthodes formelles
Extraction de contre-Modèles