Artifact for 'Dynamic Contract Verification for Parallel Programming Models'
收藏官方服务：
资源简介：
This dataset contains the results presented in 'Dynamic Contract Verification for Parallel Programming Models', as well as the scripts necessary to reproduce them. For the up-to-date CoVer(-Dynamic) source code, see https://github.com/tudasc/CoVer
提供机构：
Zenodo创建时间：
2026-01-12
