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