Sandrine Blazy
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Méthodes formelles (informatique)
Méthodes formelles
Compilation
Vérification formelle
Cryptographie
Analyse statique
Assistants de preuve
Certification
Compilation (informatique)
Coq
Systèmes informatiques -- Mesures de sûreté
Théorèmes -- Démonstration automatique
Interprétation abstraite
Vérification de programmes
Logique de séparation
Preuve de programmes
Langages de programmation -- Sémantique
Preuve formelle
Algorithmes