Testing a Formally Verified Compiler
Résumé
We report on how we combine tests and formal proofs while developing extensions to the CompCert formally verified compiler.
Origine : Fichiers produits par l'(les) auteur(s)
Licence : Domaine public
Licence : Domaine public