Explicit-state model checker for concurrent programs. Explores thread interleavings, checks invariants, and reports replayable failing traces. Java + Gradle.
java concurrency educational model-checking formal-methods differential-testing partial-order-reduction dpor
-
Updated
Sep 5, 2026 - Java