Theta抽象验证并发C程序数据集

数据集概述

本数据集为论文“Verifying Concurrent C Programs with Abstraction in Theta”的配套数据，包含7篇PDF文档、1个压缩结果文件及1个Python代码文件，支撑并发C程序抽象验证研究。

文件详解

• 文档文件（.pdf格式，共7个）：
• bfs.pdf、nostatic.pdf、solvers.pdf、heatmap.pdf、maxenum.pdf、pred.pdf、expl.pdf：研究相关的文档资料
• 压缩文件（.zip格式，共1个）：
• results.zip：包含验证结果的压缩包
• 代码文件（.py格式，共1个）：
• fig1.py：用于生成图表的Python代码文件

适用场景

• 程序验证研究：支持并发C程序抽象验证方法的复现与分析
• 形式化方法应用：为Theta工具在并发程序验证中的应用提供实证数据
• 学术论文补充：作为相关研究论文的配套数据，辅助理解验证过程与结果
• 代码与结果分析：用于解析并发程序验证的实验结果及图表生成逻辑