Le moteur de recherche
des thèses françaises
Tristan Le Gall
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Interprétation abstraite
Méthodes formelles
Logiciels -- Vérification
Protocoles de réseaux d'ordinateurs
Théorie des automates mathématiques
Analyse statique
Concurrence
Vérification
MPI
Vérification de modèles (informatique)
Analyse statique modulaire
Domaines abstraits numériques
Chaînes de caractères
Abstractions symboliques
Langages de programmation -- Sémantique
Arbres (théorie des graphes) -- Informatique