model-checking topic
List
model-checking repositories
datagene
192
Stars
22
Forks
Watchers
DataGene - Identify How Similar TS Datasets Are to One Another (by @firmai)
alive2
703
Stars
89
Forks
Watchers
Automatic verification of LLVM optimizations
apalache
430
Stars
40
Forks
Watchers
APALACHE: symbolic model checker for TLA+ and Quint
kani
2.0k
Stars
82
Forks
Watchers
Kani Rust Verifier
vscode-tlaplus
333
Stars
29
Forks
Watchers
TLA+ language support for Visual Studio Code
ultimate
184
Stars
40
Forks
Watchers
The Ultimate program analysis framework.
tla-bin
164
Stars
22
Forks
Watchers
Command line binaries for the TLA+ language
tlaplus_jupyter
118
Stars
7
Forks
Watchers
Jupyter kernel for TLA⁺
jayhorn
79
Stars
21
Forks
Watchers
Static checker for Java