Le moteur de recherche
des thèses françaises
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)
Preuve formelle
Compilation
Logique informatique
Analyse Pire Cas
Vérification
Microprocesseurs
Interprétation abstraite
Programmation linéaire
Optimisation
Informatique
Programmes numériques
Optimisations à la compilation
Plate-forme Why