-
JavaSMT_SMT_LIB2代码生成器与解析器解释器基准测试结果数据集2023
2025年12月21日 30 33 0
数据集概述 本数据集记录了JavaSMT中新增的SMT-LIB2代码生成器与解析器解释器的基准测试结果，通过CPAchecker、Benchexec框架及SV-Benchmarks完成测试，包含测试结果文件、运行定义文件及日志压缩包。 文件详解 结果数据文件：...
-
C程序形式化验证高效技术_SV_COMP2022数据集
2025年12月15日 30 92 55
数据集概述 本数据集包含工具Theta在SV-COMP 2022的最后一轮预运行基准测试结果，由SV-COMP 2022组织者执行，相关评估见于学士论文，旨在为论文读者提供可访问的基准结果存档。 文件详解 该数据集包含十八个文件，具体说明如下： - 核心基准结果文件（.bz2格式，共十三个）： -...
