Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity" (Q6724271)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity" |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity" |
Dataset published at Zenodo repository. |
Statements
Our zip contains all necessary scripts, models, binaries and instructions to reproduce the experiments of our paper Parametric Timed Model Checking for Guaranteeing Timed Opacity published in the proceedings of ATVA 2019. It allows interested readers to reproduce exactly the content of Table 1 and Table 2 of our paper. In addition, all result files are generated, containing the synthesized constraints, and the execution times of IMITATOR.
0 references
21 June 2019
0 references
1
0 references
