model-checking / kani
A model checker for Rust programs.
model-checking / kani
tlaplus / tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
AliveToolkit / alive2
Automatic verification of LLVM optimizations
apalache-mc / apalache
APALACHE: symbolic model checker for TLA+ and Quint