-
SAS25_Future_Conditions_Based_论文实验验证配套完整数据
2025年12月19日 30 25 9
数据集概述 本数据集为SAS25会议论文《Specifying and Verifying Future Conditions》的配套工件，包含用于复现论文实验结果的文档与压缩包，提供Docker镜像使用说明及实验步骤指导，支持论文中表3结果的验证。 文件详解...
-
ICSE_23论文配套工件_反应式综合端到端探索性案例研究
2025年12月8日 30 13 1
数据集概述 本数据集是ICSE'23会议论文《Using Reactive Synthesis: An End-to-End Exploratory Case Study》的配套工件，包含研究相关的文档、代码说明及规范文件，涉及医疗CT领域，为复现论文研究提供完整数据支持。 文件详解 文件名称: Artifact README.pdf 文件格式:...
