OpenJML
OpenJML is a new suite of JML tools, including RAC and ESC, that will work with the most recent versions of Java. OpenJML is built on Sun’s OpenJDK, the open source implementation of javac.
Developers
Instructions for those editing the OpenJML source code:
Links
- JSR-308, esp. array syntax.
