L23-program-verification Code for lecture 23, which demoed 2 tools: FindBugs http://findbugs.sourceforge.net/ ESC/Java2 http://kindsoftware.com/products/opensource/ESCJava2/