Reproduction package: a runtime environment for contract automata

The OVA file contains an Ubuntu 21.10 distribution with all necessary files and dependencies for the replication. The OVA has been created and tested with VirtualBox 7.0.2. Log-in username: Ubuntu password: ubuntu The reproducible part of the paper is Section 6: Examples and Evaluation. Additionally, it is possible to reproduce the formal verification discussed in Section 4. This requires to download Uppaal, which cannot be shipped together with the artefact for license reasons. Check the README located in the Desktop for further instructions.