找到4个数据集

标签: Z3求解器

过滤结果

  • 章鱼工具包_利用多样化子公式对SMT求解器进行模糊测试的文物

    2026年1月29日 30 161 62

    数据集概述 本数据集为Octopus工具的 artifacts 包，Octopus是用于检测SMT求解器可靠性漏洞的工具，通过多样化子公式模糊测试方法，已向Z3求解器提交10份有效漏洞报告，其中7份已确认或修复。数据集包含工具安装、使用说明及已发现的Z3漏洞列表。 文件详解 文件名称：octopus.zip 文件格式：ZIP...
    packageimg

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

    2025年12月22日 30 139 95

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

  • 布尔部分多态性验证数据集

    2025年12月13日 30 197 171

    数据集概述 该数据集包含布尔部分多态性验证的相关文件，围绕特定三元布尔合取函数f是否保持两种布尔关系（ΓL₀(χ₂)、ΓL₂(χ₃)）的问题展开，通过将问题转化为SMT-LIB2.0格式并使用Z3求解器验证，提供了问题实现文件、求解器输出及形式化证明等内容。 文件详解 f-pPol-GammaL0chi2-GammaL2chi3.z3：SMT-...
    packageimg

  • 基于延迟累积调度的优化模理论基准数据集2025

    2025年12月7日 30 135 94

    数据集概述 本数据集包含针对“基于延迟累积调度的优化模理论”研究的基准测试数据及生成脚本，涵盖BMM2016真实数据和芬兰赫尔辛基地区环境服务局（HSY）的污水处理厂数据，支持调度算法性能评估与验证。 文件详解 压缩文件（基准测试集）：...
    packageimg