Publication Date:
2022
abstract:
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.
Iris type:
05.11 Software
Keywords:
Contract automata; Runtime environment; Care
List of contributors: