|
TACAS |
| Competition on Software Verification (SV-COMP) | |
Competition-Related Artifacts (DOIs)
For reproducibility, it is important to store snapshots of the used components in a long-term archive.
| Edition | Report | Verifiers and Validators | Verification Tasks | Competition Results | Verification Witnesses | BenchExec | CoVeriTeam |
|---|---|---|---|---|---|---|---|
| 2026 |
|
10.5281/zenodo.18650756 | 10.5281/zenodo.18650775 | 10.5281/zenodo.18651757 | 10.5281/zenodo.18651735 | 10.5281/zenodo.18455156 | |
| 2025 |
|
10.5281/zenodo.15055359 | 10.5281/zenodo.15012096 | 10.5281/zenodo.15012085 | 10.5281/zenodo.15012077 | 10.5281/zenodo.15007216 | 10.5281/zenodo.11193690 |
Competition Repositories
For reproducibility, it is important to make all used components publicly available.
Repository Locations
| Component | Repository |
|---|---|
| Verification Tasks | https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/ |
| Benchmark Definitions | https://gitlab.com/sosy-lab/sv-comp/bench-defs/ |
| BenchExec | https://github.com/sosy-lab/benchexec/ |
| Tool-Info Modules | https://github.com/sosy-lab/benchexec/tree/main/benchexec/tools/ |
| Witness Format | https://gitlab.com/sosy-lab/benchmarking/sv-witnesses/ |
| CoVeriTeam | https://gitlab.com/sosy-lab/software/coveriteam/ |
| Verifiers and Validators in FM Tools Repository | https://gitlab.com/sosy-lab/benchmarking/fm-tools |
| Tool Archives 2024 | DOI for each tool available in FM-Tools repository above |
Repository Tags
| Edition | Verifier Archives | Verification Tasks | Benchmark Definitions | BenchExec | Tool-Info Modules | Witness Format | CoVeriTeam |
|---|---|---|---|---|---|---|---|
| 2026 | 2.3 | svcomp26 | svcomp26 | 3.34 | 3.34 | 2.1.2 | |
| 2025 | 2.2 | svcomp25 | svcomp25 | 3.29 | 3.29 | 2.0.3 | 1.2.1 |