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.
Modelling, verifying and testing the contract automata runtime environment with Uppaal: complementary data
Basile D
2023
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_487369-doc_202479.zip
accesso aperto
Descrizione: Modelling, verifying and testing the contract automata runtime environment with Uppaal: complementary data
Dimensione
5.29 MB
Formato
Unknown
|
5.29 MB | Unknown | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
