找到1个数据集

标签: ProB工具

过滤结果

  • 区块链互操作性模式形式化方法数据集

    2025年12月6日 30 162 75

    数据集概述 本数据集是研究论文《An Approach to Formalise Blockchain Interoperability Patterns》的复现包，包含基于Event-B形式化的网关式时间转移模式规范、模拟验证原型及Event-B项目文件，支持区块链互操作性模式的验证与复用研究。 文件详解 文件名称：towards-...
    packageimg