PRDC_2021_智能合约验证工具有效性实证评估补充材料

Name: PRDC_2021_智能合约验证工具有效性实证评估补充材料
Creator: 公开数据
Published: 2026-01-30T00:00:00+08:00

海数据2026-06-02 收录

智能合约安全

区块链安全审计

数据链接：

https://haidatas.com/dataset/prdc_2021_zhinengheyueyanzhenggongjuyouxia_f2a69c48 数据链接链接失效反馈

官方服务：

资源简介：

本数据集是论文《An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools》的补充材料，包含一个压缩文件，核心内容为智能合约验证工具有效性评估相关的实证数据，用于支持论文研究结论的验证与补充分析。论文《An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools》

提供机构：

公开数据

创建时间：

2026-01-30

PRDC_2021_智能合约验证工具有效性实证评估补充材料

资源简介：

相关数据集