stormchecker/storm
A Modern Probabilistic Model Checker
174 stars87forks111issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
4 of 4outside PRs merged (100%)
checked
stormchecker/storm
A Modern Probabilistic Model Checker
Outside contributors get real replies here, and their work gets merged.
4 of 4outside PRs merged (100%)
checked
Where newcomer work lands
The evidence