Artifact for 'Verifying MPI API Usage Requirements with Contracts'
收藏Zenodo2025-06-06 更新2026-05-26 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.15574134
下载链接
链接失效反馈官方服务：
资源简介：
This dataset contains the results presented in 'Verifying MPI API Usage Requirements with Contracts', as well as the scripts necessary to reproduce them.
See README.md after extracting the archive for details.
For the up-to-date tool source code, see https://github.com/tudasc/CoVer
提供机构：
Zenodo创建时间：
2025-06-06
