3
Repos
633
Stars
469
Forks
183
Watchers
Repositories (3)
benchexec
sosy-lab/benchexec
Python
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
289
227
sv-benchmarks
sosy-lab/sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
192
167
cpachecker
sosy-lab/cpachecker
SWIG
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
152
75