2023
Software
Open Access
Modelling, verifying and testing the contract automata runtime environment with Uppaal: complementary data
Basile D
Contract automata Runtime environment Models Formal verification Testing
This repository contains the complementary material for the paper: "Modelling and Verifying the Contract Automata Runtime Environment", Basile D. The latest version of the included files can be accessed through the GitHub repository of the Contract Automata Runtime Environment, https://github.com/contractautomataproject/CARE/tree/master/src/spec/uppaal In addition to the other contents, this Zenodo repository contains all the logs of the experiments.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:487369,
title = {Modelling, verifying and testing the contract automata runtime environment with Uppaal: complementary data},
author = {Basile D},
year = {2023}
}CNR authorsLaboratories
0000-0002-7196-6609