Published January 6, 2022
| Version v1
Dataset
Open
Data for paper "Zone extrapolations in parametric timed automata"
- 1. Université de Lorraine, CNRS, Inria, LORIA, Nancy, France
Description
Data for paper "Zone extrapolations in parametric timed automata"
This data set comes with two zip files:
- artifact.zip contains the current version of IMITATOR, all models and necessary scripts to reproduce all experiments on our benchmarks set. A file named README.md gives all instructions for reproducibility.
- results.zip contains an HTML page with a table summarizing all results, and all raw results (.res) as well.
Files
artifact.zip
Files
(9.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:0f9ce549ca96f260fe4b0c123f15b2d8
|
7.7 MB | Preview Download |
|
md5:bf7cf2c5f36204f3d62fa4bb0b4ae601
|
1.5 MB | Preview Download |
Additional details
Related works
- Is derived from
- Dataset: 10.5281/zenodo.4730980 (DOI)
Funding
- ProMiS – Provable Mitigation of Side Channel through Parametric Verification ANR-19-CE25-0015
- Agence Nationale de la Recherche