B blog.regehr.org The Piano Test for Program Verification (2011) 37 points tosh 4 years ago 23 comments
