Published June 8, 2023
| Version v3
Software
Open
Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal, Complementary Material
Description
This repository contains the complementary material for the paper:
"Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal", 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.
Files
CARE-master-0b39f74.zip
Files
(10.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b7c94e64839bcfd56906c0f5ddd09e7f
|
1.5 MB | Preview Download |
|
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:0d368c110666465a91a9842c7cbaab47
|
46.4 kB | Preview Download |
|
md5:901588d3c047367857ec93dd2484e5f4
|
46.2 kB | Preview Download |
|
md5:c5494aab788acf7750b5603c8834a5bd
|
45.7 kB | Preview Download |
|
md5:67adc94993689bf6f3e8982833f93a97
|
46.2 kB | Preview Download |
|
md5:05a06991be26e21572bab88f3d32bfb5
|
41.2 kB | Preview Download |
|
md5:490cfc03f2d6cf3dedbd331b7a7d7c5c
|
2.8 MB | Preview Download |
|
md5:46efb82d7e40f1f39d31c25516952eb9
|
2.3 MB | Download |
|
md5:51c96683fff74deeb228d2fe92d3a7d9
|
3.1 MB | Download |
|
md5:76e80a85ba9a28ff181e320da8083d87
|
207.1 kB | Download |
