找到2个数据集

标签: 智能合约验证

过滤结果

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

    2026年1月30日 30 6 3

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

  • sVerify_Experiment_Based_实验结果与测试合约数据

    2026年1月22日 30 49 19

    数据集概述 本数据集包含sVerify实验的总结文件以及七个手动插入断言的真实测试合约，总计两个文件。数据聚焦于sVerify实验的结果记录与测试用例，为智能合约验证相关研究提供实验数据支持。 文件详解 实验总结文件 文件名称：sVerify_experiment.xlsx 文件格式：XLSX...
    packageimg