Le moteur de recherche
des thèses françaises
David Pichardie
IdRefMots clés
FR |
EN
Interprétation abstraite
Logiciels -- Vérification
Analyse statique
Informatique
Coq
Langages de programmation -- Sémantique
Compilation (informatique)
Vérification
CompCert
Compilation
Différences de programmes
Sémantique opérationnelle
Preuves mécanisées en Coq
Logique relationnelle
Logiciels
Code source (informatique)
Coq (logiciel)
Vérification formelle
Canaux cachés
Analyse statique modulaire