数据集概述
本数据集是论文《An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools》的补充材料，包含一个压缩文件，核心内容为智能合约验证工具有效性评估相关的实证数据，用于支持论文研究结论的验证与补充分析。
文件详解
- 文件名称：2021-prdc-contracts-evaluation.zip
- 文件格式：ZIP
- 字段映射介绍：压缩包内包含智能合约验证工具有效性实证评估的相关数据，具体内容需解压后查看，无公开的字段映射信息。
数据来源
论文《An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools》
适用场景
- 区块链技术研究：分析智能合约验证工具的有效性，支持区块链安全技术的优化与改进。
- 智能合约安全评估：为智能合约验证工具的性能测试与对比提供实证数据支撑。
- 学术研究补充：作为论文的补充材料，辅助研究人员理解智能合约验证工具的实证评估过程与结果。
- 区块链安全工具开发：为智能合约验证工具的开发与迭代提供数据参考。
