TAPAAL_HyperLTL_Based_超属性验证工具复现完整数据

数据集概述

本数据集是论文《TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Net》的复现包，该论文已被ATVA 2025会议接收，包含用于验证论文实验结果的工具相关资源。

文件详解

• 文件名称: ATVA-2025-artifact.zip
• 文件格式: ZIP (.zip)
• 文件内容: 压缩包形式的复现资源包，具体内部文件结构及内容需解压后查看，无公开预览信息。

适用场景

• 模型检测研究: 复现论文中基于Petri网的超属性验证工具实验结果
• 形式化方法验证: 验证TAPAAL HyperLTL工具在超属性检测中的性能
• 学术研究复现: 支持ATVA 2025会议论文实验结果的可重复性验证
• 工具开发参考: 为Petri网超属性验证工具的开发提供技术参考