Tag Archives: hol

Don’t Sweat the Small Stuff: Formal Verification of C Code Without the Pain

Available from NICTA.  Authors are David Greenaway, Japheth Lim, June Andronick, and Gerwin Klein from NICTA and UNSW, Sydney, Australia. This paper feels much more technical than the earlier ones, and is building on earlier work in a way that’s … Continue reading

Posted in papers | Tagged , , , , , , | Leave a comment