Artifact of "Collective Contracts for Message-Passing Parallel Programs"

There is a newer version of the record available.

Published May 19, 2024 | Version v6

Software Open

This is an archive containing all the artifact of our paper "Collective Contracts for Message-Passing Parallel Programs" accepted in CAV 2024.

Files

Name	Size	Download all
LICENSE.md md5:b99f6db29e815ffa31e3eac2e65e4fe1	607 Bytes	Preview Download
mpi_contract.tar.gz md5:a891170d8c33d11c2ce924b716bca214	10.8 MB	Download
mpi_contract_image-amd64.tar.gz md5:ccbd4d68cfeff3aea960f1955c1703d6	410.8 MB	Download
mpi_contract_image-arm64.tar.gz md5:2f1a9c6467c4a844b69806316563e9c9	396.8 MB	Download
mpi_contracts.pdf md5:d7b33b5108d7574d1d862be427aa31ee	700.0 kB	Preview Download
README.md md5:e8d7ad50dc7f2d366c75f934c8633326	11.2 kB	Preview Download

307

Views

411

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

License: LICENSE.md

The CIVL tool is released under GPLv3 license. The license files can be found at `src/lib/licenses`. CIVL depends on the following packages: - CVC4, which is licensed under a modified BSD licence available at https://github.com/CVC4/CVC4-archived/blob/master/COPYING - Z3, licensed under MIT license, see https://github.com/Z3Prover/z3/blob/master/LICENSE.txt - OpenJDK, licensed under GPLv2 with linking exception, see https://github.com/openjdk/jdk/blob/master/LICENSE - ANTLR 3&4, licensed under the BSD License https://www.antlr3.org/license.html https://www.antlr.org/license.html