Modelling and Verifying the Contract Automata Runtime Environment, Complementary Material

This repository contains the complementary material for the paper: "Modelling and Verifying the Contract Automata Runtime Environment", Basile D. The included files are also available in 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