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

数据集概述

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

文件详解

• 文件名称：CAR-PT-master.zip
• 文件格式：ZIP
• 字段映射介绍：压缩包内包含支持CAR模型检验加速研究的相关数据，具体内容需解压后查看，无README或内容预览信息。

数据来源

论文《Accelerate CAR-based model checking》（TASE'25）

适用场景

• 模型检验加速方法复现: 用于复现论文中提出的CAR模型检验加速方法及实验结果。
• CAR模型检验研究: 支持CAR（Conflict-Aware Reachability）模型检验相关的学术研究与实验验证。
• 形式化方法实验: 为形式化方法领域中模型检验效率优化的实验提供数据支持。
• 学术论文配套数据验证: 作为TASE'25论文的配套Artifact，用于验证论文中的研究结论。