SoSy-Lab
Results
7
repositories owned by
SoSy-Lab
benchexec
197
Stars
191
Forks
Watchers
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
java-smt
173
Stars
42
Forks
Watchers
JavaSMT - Unified Java API for SMT solvers.
sv-benchmarks
186
Stars
169
Forks
Watchers
Collection of Verification Tasks (MOVED, please follow the link)
cpachecker
215
Stars
90
Forks
Watchers
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
cpu-energy-meter
109
Stars
27
Forks
Watchers
A tool for measuring energy consumption of Intel CPUs
sv-witnesses
18
Stars
9
Forks
Watchers
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
sv-comp
15
Stars
51
Forks
Watchers
Information to reproduce results from SV-COMP (MOVED, please follow the link)