找到1个数据集

标签: PRDC

过滤结果

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

    2026年1月30日 30 160 103

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