3
Repos
639
Stars
485
Forks
183
Watchers
🏆 Show off this rank
Add it to a GitHub README or profile — the card updates as the ranking changes:
Repositories (3)
benchexec
sosy-lab/benchexec
Python
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
295
244
sv-benchmarks
sosy-lab/sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
192
166
cpachecker
sosy-lab/cpachecker
SWIG
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
152
75