找到1个数据集

分类: 公开数据 标签: Theta

过滤结果

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

    2025年12月14日 30 37 14

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