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

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 Bachelor's Thesis with the title Efficient Techniques for Formal Verification of C programs.

This dataset archives these benchmark results so they are always available to the reader's of this thesis.

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.

本数据集收录了工具Theta在软件验证竞赛2022（SV-COMP 2022）上的最后一批预运行基准测试数据。本次基准测试由SV-COMP 2022组委会执行，相关结果的简要评析已收录于题为《C程序形式化验证的高效技术》（Efficient Techniques for Formal Verification of C programs）的学士学位论文中。

本数据集对上述基准测试结果进行归档，以供该学位论文的读者永久查阅。

HTML与CSV文件由Benchexec的表格生成工具基于.xml.bz2格式文件生成。其中一份仅包含并发安全（Concurrency Safety）类别的测试结果，另一份则涵盖所有竞赛类别。