Antoine Miné
IdRefMots clés
FR |
EN
Interprétation abstraite
Analyse statique
Logiciels -- Vérification
Méthodes formelles
Vérification
Méthodes formelles (informatique)
Informatique
Vérification de modèles (informatique)
Langages de programmation -- Sémantique
Sécurité
Vérification de logiciels
Polyèdres
Analyse statique modulaire
Systèmes embarqués (informatique)
Interprétation Abstraite
Programmation par contraintes
Traitement réparti
Optimisation
Compilation (informatique)
Arithmétique en virgule flottante