#model-checking (14 Repositories)
Ranked open-source repositories tagged with #model-checking, scored by pull request acceptance likelihood and maintainer engagement velocity.
49.5%
23.4h
14 repositories tagged #model-checking
stormchecker/storm
A Modern Probabilistic Model Checker
model-checking/kani
A model checker for Rust programs.
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
gipsyh/rIC3
Hardware Formal Verification Tool
ultimate-pa/ultimate
The Ultimate program analysis framework.
mCRL2org/mCRL2
The Git repository for the mCRL2 toolset.
AliveToolkit/alive2
Automatic verification of LLVM optimizations
seahorn/seahorn
SeaHorn Verification Framework
LearnLib/automatalib
A free, open-source Java library for automata, graphs, and transition systems
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
tidymodels/lime
Local Interpretable Model-Agnostic Explanations (R port of original Python package)