3251142
doi
10.5281/zenodo.3251142
oai:zenodo.org:3251142
Étienne André
Université Paris 13 & CNRS, France / JFLI, Tokyo, Japan / National Institute of Informatics, Tokyo, Japan
Sun Jun
Singapore Management University
Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity"
Étienne André
Université Paris 13 & CNRS, France / JFLI, Tokyo, Japan / National Institute of Informatics, Tokyo, Japan
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
security
model checking
parameter synthesis
opacity
<p>Our zip contains all necessary scripts, models, binaries and instructions to reproduce the experiments of our paper<br>
<em>Parametric Timed Model Checking for Guaranteeing Timed Opacity</em> published in the proceedings of ATVA 2019.</p>
<p>It allows interested readers to reproduce exactly the content of <strong>Table 1</strong> and <strong>Table 2</strong> of our paper.<br>
In addition, all result files are generated, containing the synthesized constraints, and the execution times of IMITATOR.</p>
Zenodo
2019-06-21
info:eu-repo/semantics/other
3251141
1
1579893953.095048
7407348
md5:a66472ec80dc5717aefb7e1b06972da9
https://zenodo.org/records/3251142/files/artifact.tar.gz
public
10.5281/zenodo.3251141
isVersionOf
doi