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 Formelle
Vérification formell
Assistant de preuve
Preuve de programme
Extraction
Analyse de code
Coq, C
Compilation
Langage dédié
Cryptographie
Langages synchrones à flots de données