David Monniaux
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Analyse statique
Polyèdres
Coq
Interprétation abstraite
Temps réel (informatique)
Compilation (informatique)
Arithmétique en virgule flottante
Compilation
Optimisation
Logique informatique
Vérification
Programmation linéaire
Analyse Pire Cas
Vérification de programme
Sécurité des processeurs
Microarchitecture
Isa
Attaques par variations temporelles
Isolation microarchitecturale