找到1个数据集

标签: Horn子句

过滤结果

  • Korn软件验证工具SV_COMP2023竞赛后评估数据集

    2025年12月22日 30 20 8

    数据集概述 本数据集记录了Korn软件验证工具在SV-COMP2023竞赛后的实验结果。Korn工具基于Horn子句求解器（如Z3、Eldarica）自动推断正确性证书，数据集包含竞赛相关的结果文件、表格数据及文档，为评估工具性能提供支持。 文件详解 结果文件（.bz2格式）：共十个压缩文件，包含不同日期和类别的SV-...
    packageimg