Topic Hub
#model-checking (10 Repositories)
Ranked open-source repositories tagged with #model-checking, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
34.2%
Avg Review Latency
36.5h
Filter by language
10 repositories tagged #model-checking
A TierC++ 170
stormchecker/storm
A Modern Probabilistic Model Checker
83.5%
Merge Rate
2h
First Review
67%
1st-Timers
9
Maintainers
A TierRust 3.3k
model-checking/kani
Kani Rust Verifier
76.1%
Merge Rate
1h
First Review
60%
1st-Timers
8
Maintainers
A TierScala 592
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
67.4%
Merge Rate
2d
First Review
86%
1st-Timers
8
Maintainers
B TierJava 246
ultimate-pa/ultimate
The Ultimate program analysis framework.
50.0%
Merge Rate
2d
First Review
100%
1st-Timers
3
Maintainers
B TierJava 103
LearnLib/automatalib
A free, open-source Java library for automata, graphs, and transition systems
0.0%
Merge Rate
-
First Review
0%
1st-Timers
1
Maintainers
B TierScala 403
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
64.6%
Merge Rate
11d
First Review
25%
1st-Timers
5
Maintainers
D TierR 493
tidymodels/lime
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierC 477
seahorn/seahorn
SeaHorn Verification Framework
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierTypeScript 433
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers