MPI_API使用要求契约验证研究复现数据集

数据集概述

本数据集包含论文《Verifying MPI API Usage Requirements with Contracts》中呈现的研究结果，以及用于复现这些结果的脚本，以压缩包形式提供，可通过解压后查看README.md获取详细信息。

文件详解

• 文件名称: Paper_Repro.zip
• 文件格式: ZIP压缩包 (.zip)
• 文件内容: 压缩包内包含论文研究结果数据及复现所需脚本，具体内容需解压后查看README.md文档获取。

适用场景

• 并行计算研究: 用于复现MPI API使用要求的契约验证实验
• 软件工程分析: 研究API契约验证方法在MPI并行程序中的应用
• 学术研究复现: 支持相关领域学者对论文实验结果的验证与扩展研究
• 工具开发参考: 为MPI程序验证工具的开发提供数据与脚本参考