Dataset Open Access

Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity"

Étienne André; Sun Jun

Contact person(s)
Étienne André

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.

Files (7.4 MB)
Name Size
artifact.tar.gz
md5:a66472ec80dc5717aefb7e1b06972da9
7.4 MB Download
158
22
views
downloads
All versions This version
Views 158158
Downloads 2222
Data volume 163.0 MB163.0 MB
Unique views 117117
Unique downloads 1818

Share

Cite as