Artifact for 'Dynamic Contract Verification for Parallel Programming Models'

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Yussur Mustafa Oraji
DOI: 10.5281/zenodo.18152063
Cited by: 0

Abstract

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

Fields of Study & Subjects

Logic programming and type systems Software Testing and Debugging Techniques Formal Methods in Verification

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
5 January 2026
Document type
Dataset