Topic Hub
#model-checker (3 Repositories)
Ranked open-source repositories tagged with #model-checker, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
54.8%
Avg Review Latency
64.5h
Filter by language
3 repositories tagged #model-checker
A TierC++ 175
stormchecker/storm
A Modern Probabilistic Model Checker
73.5%
Merge Rate
3h
First Review
20%
1st-Timers
10
Maintainers
B TierC++ 117
mCRL2org/mCRL2
The Git repository for the mCRL2 toolset.
90.9%
Merge Rate
8d
First Review
67%
1st-Timers
2
Maintainers
D TierRust 1.9k
stateright/stateright
A model checker for implementing distributed systems.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers