ICSE_24论文Artifact_非良分离GR_1_规范的类型控制器与快速启发式

数据集概述

该数据集是ICSE'24会议论文的附属Artifact,用于复现论文中关于非良分离GR(1)规范的类型控制器与快速启发式方法的实验结果,支持论文核心实验的验证与重复。

文件详解

  • LICENSE.txt:TXT格式,包含BSD 3-Clause License授权信息,涉及版权归属(特拉维夫大学与软件建模实验室)及使用条款。
  • README.txt:TXT格式,为Artifact评估说明文档,介绍复现论文实验(Tables 1-4)的目的、使用方式(运行bat脚本生成实验原始数据CSV文件)。
  • artifact.zip:ZIP格式压缩包,推测包含复现实验所需的脚本、代码或数据文件。
  • Paper with appendices.pdf:PDF格式,包含论文正文及附录内容,提供研究背景与方法细节。

适用场景

  • 软件工程研究:复现ICSE'24论文实验结果,验证非良分离GR(1)规范控制器设计方法的有效性。
  • 形式化方法验证:基于Artifact中的启发式算法,开展GR(1)规范合成效率的对比实验。
  • 学术论文补充:为相关领域研究者提供论文实验的可复现资源,支持方法改进与扩展研究。
packageimg

数据与资源

附加信息

字段
作者 Maxj
版本 1
数据集大小 45.67 MiB
最后更新 2025年12月5日
创建于 2025年12月5日
声明 当前数据集部分源数据来源于公开互联网,如果有侵权,请24小时联系删除(400-600-6816)。