找到1个数据集

标签: CARPTmaster

过滤结果

  • CAR_DT_Artifact_Based_CAR模型检验加速研究数据_TASE_25

    2026年1月14日 30 151 74

    数据集概述 本数据集是论文《Accelerate CAR-based model checking》（TASE'25）的配套Artifact，包含支持CAR模型检验加速研究的相关数据。数据集仅含一个压缩文件，无目录结构，可用于复现论文中的模型检验加速方法及实验结果。 文件详解 文件名称：CAR-PT-master.zip 文件格式：ZIP...
    packageimg