The active issues list for OpenJML development is here and the wiki contains Public documentation for users is at the project website: - OpenJML/OpenJML. java ?les in the folder, recursively, are processed. The OpenJML User Guide describes all the details of using OpenJML. 3.3 Quick start to using the OpenJML GUI. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the The result is a suite of JML tools for Java 7 that provides static analysis, specification documentation, and runtime checking, an API that is used for other tools, OpenJML is a suite of tools for editing, parsing, type-checking, verifying (static checking), and run-time checking Java programs that are annotated with JML OpenJML is a tool for checking code and specifications of Java programs. We describe (planned): javadoc tool that includes JML documentation. • (planned):Does your software do what it should? Tutorial and user guide to specification and verification with the Java Modeling Language and OpenJML David R. Cok Hence you are not able to use the Eclipse plugin when working on these platforms. The command-line tool does work fine, following the instructions below. Start OpenJML - formal methods tool for Java and the Java Modeling Language (JML) The Java Modeling Language (JML) is a language used to describe the functional behavior of Java classes and methods. Various tools can then read the JML information and do static checking, runtime checking jmlspecs.sourceforge.net also contains user-guide information about setting up and using OpenJML and about the implementation status of various JML