找到2个数据集

标签: Theta工具

过滤结果

  • C程序形式化验证高效技术_SV_COMP2022数据集

    2025年12月15日 30 22 16

    数据集概述 本数据集包含工具Theta在SV-COMP 2022的最后一轮预运行基准测试结果，由SV-COMP 2022组织者执行，相关评估见于学士论文，旨在为论文读者提供可访问的基准结果存档。 文件详解 该数据集包含十八个文件，具体说明如下： - 核心基准结果文件（.bz2格式，共十三个）： -...
    packageimg

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

    2025年12月14日 30 5 3

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