Formal Verification of a C Compiler Front-End.

Sandrine Blazy, Zaynah Dargaye, Xavier Leroy

Browse the full FM paper archive.