OpenJml

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.

The main set of web pages for OpenJML is here.

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.