kiniry / escjava2 Goto Github PK
View Code? Open in Web Editor NEWThe Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations.