2.0 Beta 5 Other/Proprietary License with Source
ESC/Java2 is an Extended Static Checker for Java.
ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. ESC/Java2 reasons about Java programs that have (optional) annotations written in JML.read more
Last updated on November 6th, 2008