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