Marie-Laure Potet
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Sécurité
Systèmes embarqués (informatique)
Méthodes formelles
Coq
Raffinement
Logiciels -- Vérification
Méthodes formelles (informatique)
Débogage
Vérification
Preuve de programmes
Vérification formelle
Cyberdéfense
Vulnérabilités
Analyse statique
Coq (logiciel)
Compilation (informatique)
Méthode B
Cryptographie
Logiciels -- Développement