Focused Certification of an Industrial Compilation and Static Verification Toolchain.

Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu

Browse the full SEFM paper archive.