Xavier Leroy
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Compilation (informatique)
Coq
Méthodes formelles (informatique)
Méthodes formelles
Compilateurs (logiciels)
Langages de programmation fonctionnelle
Why3
Informatique
Assistants de preuve
Coq (logiciel)
Analyse statique
Vérification formell
Assistant de preuve
Preuve de programme
Extraction
Analyse de code
Coq, C
Compilation
Vérification Formelle