-
ORM控制器摘要推理验证数据集
2025年12月20日 30 3 0
数据集概述 本数据集包含基于摘要推理的ORM控制器验证相关的实验结果与代码文件，对应研究论文不同章节的内容，涵盖控制器验证、多页数据检查、突变分析、JPF验证等模块，为ORM控制器的形式化验证研究提供支持。 文件详解 压缩文件： icse2022-subm-data-1008-orm-...
-
累积分析_论文配套数据制品_ECOOP2022
2025年12月12日 30 56 47
数据集概述 本数据集是2022年ECOOP会议发表的论文《Accumulation Analysis》的配套数据制品，包含使用类型状态规范的文献调查数据及相关主张的支持证据，具体信息可参考README.md文件。 文件详解 文件名称: ECOOP22-artifact-description.pdf，文件格式:...
