DMCA

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

by David Greenaway , Japheth Lim , June Andronick , Gerwin Klein
Venue:In PLDI. ACM
Citations:3 - 0 self