Replication Package (Virtual Machine) for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'

This replication package is a virtual machine (VM) to execute the CoVeriTeam programs described in article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'. The VM is configured to use 2 CPU cores and 4 GB of RAM. The VM was created with VirtualBox in version 5.2.34 and tested on a host machine with an i7-8665U CPU and 33 GB of RAM. Both host and guest system used Ubuntu 18.04 as operating system. Login credentials for the VM: "coveriteam-user" as username and "pass" as password. The home directory contains a folder "coveriteam" containing the tool, examples, and README.md with instructions