FM-Tools Data Set of Metadata about Verifiers and Validators (SV-COMP 2024)

SV-COMP 2024 FM-Tools Data Set of Metadata about Verifiers and Validators This file describes the contents of an archive of the 13th Competition on Software Verification (SV-COMP 2024). https://sv-comp.sosy-lab.org/2024/ The competition was organized by Dirk Beyer, LMU Munich, Germany. More information is available in the following article: Dirk Beyer. State of the Art in Software Verification and Witness Validation: SV-COMP 2024. In Proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024, Luxembourg, April 6 - 11), 2024. 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 of archives from SV-COMP 2024 that are available at Zenodo: https://doi.org/10.5281/zenodo.10669737 Verification Witnesses from SV-COMP 2024 Verification Tools. Witness store (containing the generated verification witnesses) https://doi.org/10.5281/zenodo.10669735 Verifiers and Validators: FM-Tools Data Set for SV-COMP 2024. Metadata snapshot of the evaluated tools (DOIs, options, etc.) https://doi.org/10.5281/zenodo.10669731 Results of the 13th Intl. Competition on Software Verification (SV-COMP 2024). Results (XML result files, log files, file mappings, HTML tables) https://doi.org/10.5281/zenodo.10669723 SV-Benchmarks: Benchmark Set of SV-COMP 2024. Verification tasks, version svcomp24 https://doi.org/10.5281/zenodo.10671136 BenchExec, version 3.21. Benchmarking framework All benchmarks were executed for SV-COMP 2024 https://sv-comp.sosy-lab.org/2024/ by Dirk Beyer, LMU Munich, based on the following components: https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks svcomp24 https://gitlab.com/sosy-lab/sv-comp/bench-defs svcomp24 https://github.com/sosy-lab/benchexec 3.21 https://gitlab.com/sosy-lab/benchmarking/fm-tools svcomp24 https://gitlab.com/sosy-lab/benchmarking/sv-witnesses svcomp24 https://gitlab.com/sosy-lab/software/coveriteam 1.1 https://gitlab.com/sosy-lab/benchmarking/competition-scripts svcomp24 Contact Feel free to contact me in case of questions: https://www.sosy-lab.org/people/beyer/