Published June 8, 2023
| Version v1
Software
Open
Modelling and Verifying the Contract Automata Runtime Environment, Complementary Material
Description
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.
Files
logs _statistical.txt
Files
(7.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d6398f64fd2587e1d215ebcdec296622
|
2.7 kB | Preview Download |
|
md5:0a6dd6360dc396cab3d3949397ce0485
|
3.6 kB | Preview Download |
|
md5:01cc60d7f700d78af2efbcfb4d0c1a80
|
760 Bytes | Preview Download |
|
md5:cb29a38b7f762f911eb9fee07a5b96d1
|
2.8 kB | Preview Download |
|
md5:cab8eed59ab59e0bf64001c2f377e915
|
54.3 kB | Preview Download |
|
md5:5c81e4c0bf69c222c3dca3af56763fe9
|
51.2 kB | Preview Download |
|
md5:6823951ebacafabc3937d31aeb7951d8
|
51.8 kB | Preview Download |
|
md5:ba24708fd1b11ad82f9b84d9905159c0
|
52.6 kB | Preview Download |
|
md5:05a06991be26e21572bab88f3d32bfb5
|
41.2 kB | Preview Download |
|
md5:4042b9e832a7544c0c8ee8a714491308
|
1.4 MB | Preview Download |
|
md5:46efb82d7e40f1f39d31c25516952eb9
|
2.3 MB | Download |
|
md5:51c96683fff74deeb228d2fe92d3a7d9
|
3.1 MB | Download |
|
md5:76e80a85ba9a28ff181e320da8083d87
|
207.1 kB | Download |
