Le moteur de recherche
des thèses françaises
Antoine Miné
IdRefMots clés
FR |
EN
Interprétation abstraite
Analyse statique
Logiciels -- Vérification
Méthodes formelles
Méthodes formelles (informatique)
Informatique
Vérification
Vérification de modèles (informatique)
Vérification de logiciels
Systèmes embarqués (informatique)
Polyèdres
Programmation par contraintes
Langages de programmation
Sécurité
Analyse statique modulaire
Langages de programmation -- Sémantique
Terminaison
Fonctions de rang
Propriétés de vivacité
Algorithmes d'approximation