-
JavaSMT框架扩展与Bitwuzla求解器评估基准数据集
2025年12月22日 30 89 69
数据集概述 该数据集是论文《Extending the Framework JavaSMT with the SMT Solver Bitwuzla and Evaluation using CPAchecker》的基准文件，包含评估JavaSMT框架扩展及Bitwuzla求解器性能的相关数据文件。 文件详解...
-
C程序形式化验证高效技术_SV_COMP2022数据集
2025年12月15日 30 30 26
数据集概述 本数据集包含工具Theta在SV-COMP 2022的最后一轮预运行基准测试结果，由SV-COMP 2022组织者执行，相关评估见于学士论文，旨在为论文读者提供可访问的基准结果存档。 文件详解 该数据集包含十八个文件，具体说明如下： - 核心基准结果文件（.bz2格式，共十三个）： -...
-
Li28F28表面离子纳米晶体数据集
2025年12月7日 30 133 65
数据集概述 该数据集聚焦于Li₂₈F₂₈纳米晶体，该晶体仅由表面离子构成，其离子矩阵为4×4×4且无内部离子。数据集包含6个不同格式的文件，涵盖计算化学输入输出、分子结构、可视化及结果文件。 文件详解 数据集包含6个独立文件，具体说明如下： - Li28F28.g16：Gaussian 16计算化学程序输出文件，格式为.g16 -...
-
语法压缩用于上下文无关语言可达性数据集
2025年12月6日 30 58 4
数据集概述 该数据集是OOPSLA 2025会议投稿#737的初步版本成果，围绕“语法压缩用于上下文无关语言可达性”主题构建，包含说明文档与代码或数据压缩包，需结合Readme.pdf了解详细内容。 文件详解 文件名称: Readme.pdf 文件格式: PDF 内容说明: 提供数据集的详细说明文档，包含研究背景、数据结构、使用方法等信息 文件名称:...
