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
Vérification formelle
Compilation (informatique)
Cryptographie
Analyse statique
Assistants de preuve
Certification
Coq
Systèmes informatiques -- Mesures de sûreté
Théorèmes -- Démonstration automatique
Langages de programmation -- Sémantique
Preuve formelle
Interprétation abstraite
Vérification de programmes
Logique de séparation
Preuve de programmes
Algorithmes