Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity"
收藏数据链接：
官方服务：
资源简介：
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. 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.
提供机构：
Zenodo创建时间：
2019-06-21
