"Don't sweat the small stuff: formal verification of C code without the pain."

David Greenaway et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics