Topic Hub
#automated-verification (1 Repositories)
Ranked open-source repositories tagged with #automated-verification, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
93.2%
Avg Review Latency
12.2h
Filter by language
Rankings/rankings/cpp
1 repositories tagged #automated-verification
S TierC++ 513
esbmc/esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
93.2%
Merge Rate
12h
First Review
84%
1st-Timers
12
Maintainers