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

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.