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

David Greenaway, Japheth Lim, June Andronick, Gerwin Klein

Browse the full PLDI paper archive.