找到1个数据集

标签: RERS2018

过滤结果

  • 组合式并发系统验证补充材料_2019

    2025年12月15日 30 52 17

    数据集概述 本数据集是论文《Compositional Verification of Concurrent Systems by Combining Bisimulations》的补充材料，包含带附录的论文全文、TFTP协议示例及RERS 2018挑战赛并行基准测试的模型、属性与验证脚本，为理解组合式并发系统验证方法提供支持。 文件详解 文件名称:...
    packageimg