Laure Gonnord
Mots clés
FR |
EN
Logiciels -- Vérification
Analyse statique
Interprétation abstraite
Arithmétique en virgule flottante
Compilation (informatique)
Compilation
Optimisation
Compilateurs (logiciels)
Langage dédié
Vérification de modèles (informatique)
Méthodes formelles (informatique)
Vérification
IEEE 802.11 (norme)
Systèmes informatiques -- Mesures de sûreté
Clauses de Horn
Abstraction
Gestion pilotée par les données
Cloud computing
Edge computing
Microservices