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.
Reproduction package: a runtime environment for contract automata
Basile D
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
