ESC/Java2

  813 downloads
2.0 Beta 5 Other/Proprietary License with Source
3.3/5 16
ESC/Java2 is an Extended Static Checker for Java.

description

download

specifications

changelog

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

0 User reviews so far.

SUBMIT