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

DOI10.5281/zenodo.3251142Zenodo3251142MaRDI QIDQ6724271FDOQ6724271

Dataset published at Zenodo repository.

Étienne André, Jun Sun

Publication date: 21 June 2019

Copyright license: Creative Commons Attribution 4.0 International

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.

This page was built for dataset: Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity"