Reproduction Package for Article `CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'
In: oai:zenodo.org:4094829; (2020)
Online
Elektronische Ressource
Zugriff:
This file describes the contents of the replication package for the article "CoVeriTeam: On-Demand Composition of Cooperative Verification Systems", submitted to TACAS 2021. This artifact has been created for evaluation using TACAS’21 Artifact Evaluation Virtual Machine for VirtualBox available via Zenodo (https://zenodo.org/record/4041464). # Authors Dirk Beyer and Sudeep Kanav LMU Munich, Germany # License: SPDX-License-Identifier: CC-BY-4.0 https://spdx.org/licenses/CC-BY-4.0.html Some parts of this archive are licensed differently. For details see LICENSE.txt. # Contents of this Archive: - LICENSE.txt : specifies the license - README.txt : this file - coveriteam/ : folder containing necessary files to execute the examples in the submitted paper. It has been created from the repositiory: https://gitlab.com/sosy-lab/software/coveriteam - packages/ : folder containing the packages needed to installed to successfully run the examples - configure_cgroups.sh: script to configure cgroups which are necessary for execution of a tool in a container. The remaining part of this README is structured as follows: first we provide instructions to setup the TACAS'21 virtual machine for artifact evaluation, then we describe execution of a single example CoVeriTeam program, then we give instructions for executing all the examples in the paper, and at last we point the interested reviewer to the documentation for using CoVeriTeam in general. # Setup the TACAS'21 virtual machine to run the examples in the artifact This section describes the steps needed to setup the TACAS'21 virtual machine to execute CoVeriTeam on the examples provided in this artifact. - Copy the provided artifact archive (named CoVeriTeam_artifact_TACAS_2021.zip) to the home directory and unzip it there. It should create a directory named CoVeriTeam_artifact_TACAS_2021 in the home directory. - go to the directory "~/CoVeriTeam_artifact_TACAS_2021" cd ~/CoVeriTeam_artifact_TACAS_2021 - install required packages by running the following commands cd packages ...
Titel: |
Reproduction Package for Article `CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'
|
---|---|
Autor/in / Beteiligte Person: | Beyer, Dirk ; Kanav, Sudeep |
Link: | |
Quelle: | oai:zenodo.org:4094829; (2020) |
Veröffentlichung: | 2020 |
Medientyp: | Elektronische Ressource |
DOI: | 10.5281/zenodo.4094829 |
Schlagwort: |
|
Sonstiges: |
|