Documentation

There are a variety of great resources for learning about JML and OpenJML. Please use the links below to locate the documentation source you are most interested in.

Web pages on this site

• Introduction to OpenJML
• Installation and execution of OpenJML
• Status of OpenJML implementation
• Java checks implemented in OpenJML

Online Resources

• OpenJML Releases
• JML/OpenJML Tutorial
• OpenJML User Guide (in progress)
• The examples from the OpenJML User Guide are contained in this zip file
• Current JML Reference Manual -- 2nd edition (in progress)
• OpenJML github project site
• OpenJML Issues
• Old JML Reference Manual (being replaced by the 2nd edition) [PDF]
• JML project site, which includes numerous academic papers about JML and tools

Resources for developers

• OpenJML github project site
• OpenJML Issues
• OpenJML Developer Wiki
• old OpenJML web site (deprecated in favor of the github-based site)

Third-party resources

Some videos on JML and formal verification:

• 1
• 2
• 3