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 interested in.
Web pages on this site
- Introduction to OpenJML
- Installation and execution of OpenJML
- OpenJML LSP and IDEs
- LSP Integration Guide for developers of LSP clients to OpenJML
- VSCode for OpenJML
- Eclipse for OpenJML
- IntelliJ for OpenJML (planned)
- 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)