Pricing
OpenJML pricing
As openjml.org lists them, read 9 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| OpenJML | Open-source command-line tool · OS-specific downloads · IDE extensions require an OpenJML installation | Free |
From openjml.org.