找到8个数据集

标签: 程序验证

过滤结果

  • ESBMC_v7_6_C_基准测试实验评估数据

    2026年2月1日 30 51 30

    数据集概述 本数据集是对ESBMC v7.6版本在C++基准测试（benchexec）上的实验评估结果，包含一个压缩文件，记录了工具的性能测试数据，可用于分析ESBMC v7.6在C++程序验证中的表现。 文件详解 zip压缩文件 文件名称：esbmc-v7.6-bench.zip 文件格式：.zip 字段映射介绍：压缩包内包含ESBMC...
    packageimg

  • ICFP24_Based_代数效应与处理验证规范支持数据

    2026年1月30日 30 36 34

    数据集概述 本数据集是提交至ICFP24的论文《Specification and Verification for Unrestricted Algebraic Effects and Handling》的支持数据，包含论文相关的源代码和基准测试样例，所有内容压缩为一个归档文件。 文件详解 文件名称：AlgebraicEffect-...
    packageimg

  • SVCOMP_Witness_Visualizer_Tool_见证可视化演示数据集

    2026年1月15日 30 38 10

    数据集概述 本数据集包含三个通过Witness Visualizer工具生成的SVCOMP见证可视化数据集，涵盖工具整体全面性、按属性分类的见证、已知bug案例及全面性与验证率对比等内容，每个数据集包含原始见证文件和HTML格式的可视化文件，可用于程序验证见证的可视化分析与研究。 文件详解 数据集1（dataset_1.zip） 文件格式：ZIP...
    packageimg

  • LFR_Nodal_Full_Core_Calculations_能量网格结构遗传优化数据集

    2026年1月12日 30 182 174

    数据集概述 本数据集包含支持论文结果复现的代码与数据，主题为液态金属快堆（LFR）节点全堆芯计算中能量网格结构的遗传驱动优化。数据覆盖ALFRED能谱、耦合代码、FRENETIC运行文件等核心内容，可复现论文中的关键图表与分析结果。 文件详解 README.md 文件格式：MD...
    packageimg

  • JavaSMT框架扩展与Bitwuzla求解器评估基准数据集

    2025年12月22日 30 114 63

    数据集概述 该数据集是论文《Extending the Framework JavaSMT with the SMT Solver Bitwuzla and Evaluation using CPAchecker》的基准文件，包含评估JavaSMT框架扩展及Bitwuzla求解器性能的相关数据文件。 文件详解...
    packageimg

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

    2025年12月15日 30 90 83

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

  • Li28F28表面离子纳米晶体数据集

    2025年12月7日 30 116 104

    数据集概述 该数据集聚焦于Li₂₈F₂₈纳米晶体，该晶体仅由表面离子构成，其离子矩阵为4×4×4且无内部离子。数据集包含6个不同格式的文件，涵盖计算化学输入输出、分子结构、可视化及结果文件。 文件详解 数据集包含6个独立文件，具体说明如下： - Li28F28.g16：Gaussian 16计算化学程序输出文件，格式为.g16 -...
    packageimg

  • 语法压缩用于上下文无关语言可达性数据集

    2025年12月6日 30 184 24

    数据集概述 该数据集是OOPSLA 2025会议投稿#737的初步版本成果，围绕“语法压缩用于上下文无关语言可达性”主题构建，包含说明文档与代码或数据压缩包，需结合Readme.pdf了解详细内容。 文件详解 文件名称: Readme.pdf 文件格式: PDF 内容说明: 提供数据集的详细说明文档，包含研究背景、数据结构、使用方法等信息 文件名称:...
    packageimg