Open source repositories tagged with #model-checking, ranked by health score.
Kani Rust Verifier
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
