Formal verification of an SSA-based middle-end for CompCert (2014)

by Gilles Barthe, Delphine Demange, David Pichardie
Venue:ACM Trans. Program. Lang. Syst