David Monniaux
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Analyse statique
Polyèdres
Coq
Arithmétique en virgule flottante
Compilation (informatique)
Temps réel (informatique)
Interprétation abstraite
Logique informatique
Analyse Pire Cas
Vérification
Programmation linéaire
Optimisation
Compilation
Programmes numériques
Optimisations à la compilation
Plate-forme Why
Plate-forme Frama-C
Vérification de programme
Sécurité des processeurs