-
SV_COMP_2025_YAML验证见证语义组织数据
2026年2月7日 30 55 10
数据集概述 本数据集为SV-COMP 2025的YAML验证见证数据，从Zenodo平台提取并按工具、属性和任务进行语义组织。旨在通过更小体积的归档简化数据复用，支持YAML见证验证器的评估工作。数据集包含一个压缩文件。 文件详解 文件名称：svcomp25-yaml-witnesses.zip 文件格式：ZIP...
-
一阶线性时态逻辑规范验证的位向量逻辑编码实验评估数据集
2025年12月20日 30 122 71
数据集概述 本数据集是论文《How Bit-Vector Logic Can Help Improve the Verification of First-Order LTL Specifications》中提出的位向量逻辑编码方法的实验评估数据，包含模型描述、实验文件及相关插件压缩包。 文件详解...
