Topic Hub
#software-verification (2 Repositories)
Ranked open-source repositories tagged with #software-verification, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
33.6%
Avg Review Latency
19.6h
Filter by language
2 repositories tagged #software-verification
A TierOCOCaml 250 2 GFIs
goblint/analyzer
Static analysis framework for C
67.3%
Merge Rate
2d
First Review
50%
1st-Timers
7
Maintainers
D TierJava 263
sosy-lab/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers