Reproduction Package for SEFM 2022 Article `Cooperation between Automatic and Interactive Software Verifiers'

Reproduction Package for “Cooperation between Automatic and Interactive Software Verifiers” This reproduction package provides a virtual machine to reproduce the results from our our SEFM 2022 publication Cooperation between Automatic and Interactive Software Verifiers. Hardware Requirements Recommended: - 18 GB of RAM - 8 CPU cores - 150 GB of disk space Minimal: - 8 GB of RAM - 1 CPU core - 20 GB of disk space The README.md details how resource limits for the experiments can reduced, at the risk of not being able to reproduce the results exactly. Usage Start the VM and log with the user account: VM username: vagrant VM password: vagrant Change directory into ~/cooperation-automatic-interactive, where further instructions are provided in the file README.md. For some steps, loading additional files from other Zenodo artifacts is required. Including these into this artifact is infeasible because of their large size. The VM is configured to allow SSH login via username and password, but comes with the Gnome desktop environment pre-installed. A link to the README.md can also be found on the desktop for quick access