Popular repositories Loading

1. bmc4j bmc4j Public

   bmc4j is a easy to use formal verification tool set for Kotlin (and Java).

   Kotlin 10

2. bmc4j-consumer-test bmc4j-consumer-test Public

   Consumer end-to-end test for bmc4j: installs the published artifacts by coordinates and proves they work

   Java

3. sat-benchmark sat-benchmark Public

   Benchmark of external SAT solvers (Kissat, CaDiCaL, CryptoMiniSat, Glucose vs MiniSat control) on a SAT-dominated bmc4j proof, one isolated GitHub Actions job per solver

   Java

4. jbmc-musl-builds jbmc-musl-builds Public

   Static musl/Alpine builds of jbmc for bmc4j's bundled engine

5. kissat-builds kissat-builds Public

   Per-platform prebuilt KISSAT SAT solver binaries for bmc4j's engine bundle

6. bmc4j-proofs-kotlinx-immutable bmc4j-proofs-kotlinx-immutable Public

   Real-world bmc4j proofs against kotlinx.collections.immutable — proving a third-party Kotlin library's functions as shipped.

   Kotlin