- Home
- KindSoftware
- Developer Tools
- Quality Assurance and Testing Software
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.What is new in this release:There are no...