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.

Users

Users can download the command-line tool from http://jmlspecs.sourceforge.net.

http://jmlspecs.sourceforge.net also contains user-guide information about setting up and using OpenJML and about the implementation status of various JML features in OpenJML.

The Eclipse plugin's update site is maintained at http://jmlspecs.sourceforge.net/openjml-updatesite.

Developers

Instructions for those editing the OpenJML source code:

• Setup.
• Running Tests.
• the OpenJDK vendor branch

Links

• JSR-308, esp. array syntax.