Francesco Logozzo
IdRefMots clés
FR |
EN
Interprétation abstraite
Logiciels -- Vérification
Langages de programmation -- Sémantique
Tableaux
Structures de données
Synthèse de propriétés
Optimisation mathématique
Invariants de classe
Langages de programmation orientés objet
Vérification de programmes
Sécurité
Code exécutable
Reconstruction de modèles
Helmholtz, Équation d'
Problèmes inverses (équations différentielles)
Problème inverse de diffusion
Tomographie en océanographie
Informatique
Méthodes formelles
Analyse statique