bmc4j/bmc4j

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

3 best points · 4 comments · 1 Hacker News post · 15 GitHub stars · View on GitHub

Hacker News discussions

• Bmc4j – Prove your Java/Kotlin code correct from jUnit style tests (3 points, 4 comments, by Grover_c13, 2026-06-05)