Efficient Techniques for Formal Verification of C Programs: SV-COMP 2022 dataset

DOI10.5281/zenodo.5729974Zenodo5729974MaRDI QIDQ6695690FDOQ6695690

Dataset published at Zenodo repository.

Zoltán Micskei, Ákos Hajdu, Zsófia Ádám

Publication date: 28 November 2021

Copyright license: Creative Commons Attribution 4.0 International

Description

This dataset contains the data on the last set of pre-run benchmarks of the tool Theta on SV-COMP 2022. The benchmarks were executed by the SV-COMP 2022 organizers, but a short evaluation of these are added in the BachelorsThesis with the titleEfficient Techniques for Formal Verification of C programs. This dataset archives these benchmark results so they are always available to the readers of thisthesis. The html and csv files are generated with the table-generator utility of Benchexec from the .xml.bz2 files. One contains the results of the Concurrency Safety category only, while the other contains all categories.

This page was built for dataset: Efficient Techniques for Formal Verification of C Programs: SV-COMP 2022 dataset