Published June 21, 2019 | Version 1
Dataset Open

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

Creators

  • 1. Université Paris 13 & CNRS, France / JFLI, Tokyo, Japan / National Institute of Informatics, Tokyo, Japan
  • 2. Singapore Management University

Contributors

Contact person:

  • 1. Université Paris 13 & CNRS, France / JFLI, Tokyo, Japan / National Institute of Informatics, Tokyo, Japan

Description

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

Files (7.4 MB)

Name Size Download all
md5:a66472ec80dc5717aefb7e1b06972da9
7.4 MB Download