221 followers
The Trusted Computing Base of the CompCert Verified Compiler https://t.co/m5PfDEA64w
The Trusted Computing Base of the CompCert Verified Compiler https://t.co/m5PfDEA64w
I was pleasantly surprised reading this paper. BTW Compcert has a verified parser(!!) too which makes this even more interesting.
The trusted computing base of the CompCert verified compiler. ~ David Monniaux, Sylvain Boulmé. https://t.co/ve4fIC60Cl #ITP #Coq
The Trusted Computing Base of the CompCert Verified Compiler https://t.co/m5PfDEj32w