OpenJML

5.9easy start · #26 of 33
in Formal Verification Tools

Free to practise onnot on record
Free trialnot on record
Well documentednot on record
Runs where you workyes

Runs on Windows, Mac, Linux.

Visit site Alternatives

OpenJML is ranked #26 of 33 in formal verification tools on The Geeks Club. It runs on Windows, macOS, Linux.

Compared on formal verification tools

Verification method: deductive
Supported formalisms: contracts
Counterexamples: Yes
Input languages: Java and JML
Deployment: self-hosted

Best OpenJML alternatives

PVS 0 of 4 in the starter kit Lesson 17.4 Lean 0 of 4 in the starter kit Lesson 27.2 Rocq 0 of 4 in the starter kit Lesson 37.2 UPPAAL 0 of 4 in the starter kit Lesson 47.2 Alloy Analyzer 0 of 4 in the starter kit Lesson 57.1 HOL4 0 of 4 in the starter kit Lesson 67.1