Published February 10, 2023 | Version svcomp23
Software Open

Verifiers and Validators of the 12th Intl. Competition on Software Verification (SV-COMP 2023)

  • 1. LMU Munich, Germany

Description

SV-COMP 2023

Archive of Verification and Validation Tools

This file describes the contents of an archive of the 12th Competition on Software Verification (SV-COMP 2023). https://sv-comp.sosy-lab.org/2023/

The competition was organized by Dirk Beyer, LMU Munich, Germany. More information is available in the following article: Dirk Beyer. Competition on Software Verification and Witness Validation: SV-COMP 2023. In Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023, Munich, April 22 - 27), 2023. Springer.

Copyright (C) Dirk Beyer https://www.sosy-lab.org/people/beyer/

SPDX-License-Identifier: CC-BY-4.0 https://spdx.org/licenses/CC-BY-4.0.html

Contents

This archive contains a folder with all tool archives that were used in the competition. Each tool archive contains one folder with the executable files, a README file, and a LICENSE file.

Other Archives

Overview over archives from SV-COMP 2023 that are available at Zenodo:

All benchmarks were executed for SV-COMP 2023 https://sv-comp.sosy-lab.org/2023/ by Dirk Beyer, LMU Munich, based on the following components:

Contact

Feel free to contact me in case of questions: https://www.sosy-lab.org/people/beyer/

Files

svcomp23-archives.zip

Files (14.3 GB)

Name Size Download all
md5:933fc501f593e4d75ab02b1468edb674
14.3 GB Preview Download