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
Code source (informatique)
Coq (logiciel)
Vérification formelle
Canaux cachés
Analyse statique modulaire
Mémoire faiblement cohérente