Don’t sweat the small stuff: Formal verification of C code without the pain (2014)

by D Greenaway, J Lim, J Andronick, G Klein
Venue:In PLDI