Xavier Leroy
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Compilation (informatique)
Coq
Méthodes formelles (informatique)
Méthodes formelles
Informatique
Compilateurs (logiciels)
Langages de programmation fonctionnelle
Why3
Vérification formell
Assistant de preuve
Preuve de programme
Extraction
Analyse de code
Coq, C
Vérification Formelle
Compilation
Langage dédié
Cryptographie
Langages synchrones à flots de données