This page
This sourceforge-hosted project site at https://jmlspecs.sourceforge.net has been replaced by a github-hosted site at http://www.openjml.org/. Similarly, all development work now occurs on GitHub at https://github.com/OpenJML. The JML sourceforge bug reporting system is no longer used for OpenJML work.
This sourceforge site is still used as an auxiliary download site:
- The OpenJML command line tool can be downloaded as a zip file or from the OpenJML release site on github.
- The Update site for the Eclipse plug-in that encapsulates the OpenJML tool is http://jmlspecs.sourceforge.net/openjml-updatesite.
JML
The Java Modeling Language (JML) is a language used to describe the functional behavior of Java classes and methods. The descriptions of behavior are expressed as structured Java comments or Java annotations that use Java-like logical expressions. Various tools can then read the JML information and do static checking, runtime checking, test generation, display for documentation, or other useful tasks. More information on JML can be found at the JML project site.
OpenJML
OpenJML is an open-source tool for performing static checks, runtime assertion checking and other tasks on JML-annotated Java code. More information about OpenJML can be found here.
Last modified 11 March 2018.