Artifact for 'Extending Contract Verification for Parallel Programming Models to Fortran'

This dataset contains the results presented in 'Extending Contract Verification for Parallel Programming Models to Fortran', as well as the scripts necessary to reproduce them. For the up-to-date CoVer(-Dynamic) source code, see https://github.com/tudasc/CoVer