找到2个数据集

标签: 双模拟

过滤结果

  • FM_24论文配套Artifact_基于双模拟的快速攻击图防御定位数据集

    2025年12月23日 30 136 23

    数据集概述 本数据集是FM'24会议论文《基于双模拟的快速攻击图防御定位》的配套Artifact，包含论文相关的说明文档与支持材料压缩包，为论文研究内容提供数据与方法验证支持。 文件详解 文件名称：README.pdf 文件格式：PDF 内容说明：论文配套的说明文档，可能包含Artifact的使用指南、数据说明或方法细节...
    packageimg

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

    2025年12月15日 30 171 32

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