Installation

JVerify can currently only be used by building it from source.

Prerequisites

1. Java 23. If you have a different default Java version installed, pass -Dorg.gradle.java.home=path-to-java-23 to the gradle commands below.
2. Lean 4 (via elan) — needed to build the Strata verification back-end.
3. cvc5 SMT solver on your PATH.

Building

1. Check out the JVerify repository and its submodules:

   git clone https://github.com/strata-org/jverify.git --recurse-submodules
   

2. Navigate to the JVerify repository directory.
3. Build the verifier CLI:

   ./gradlew installDist     # macOS / Linux
   ./gradlew.bat installDist # Windows
   

4. Build the Strata back-end:

   cd Strata && lake build && cd ..
   

5. Point JVerify at the Strata project directory by setting the JVERIFY_STRATA environment variable:

   export JVERIFY_STRATA=$(pwd)/Strata
   

   (or pass --strata /path/to/Strata on every JVerify invocation).