Antoine Miné
IdRefMots clés
FR |
EN
Interprétation abstraite
Analyse statique
Logiciels -- Vérification
Méthodes formelles
Informatique
Méthodes formelles (informatique)
Vérification
Vérification de modèles (informatique)
Vérification de logiciels
Systèmes embarqués (informatique)
Polyèdres
Programmation par contraintes
Sécurité
Analyse statique modulaire
Langages de programmation -- Sémantique
Terminaison
Fonctions de rang
Propriétés de vivacité
Optimisation
Compilation (informatique)