Dataset Open Access
Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
Étienne André;
Dylan Marinho;
Laure Petrucci;
Jaco van de Pol
Data manager(s)
Dylan Marinho
This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
It comes in the form of two archives:
- merging-artifact.zip: the whole set of benchmarks with the scripts to run
- merging-artifact-FORMATS22-results.zip: all results executed 5 times
Files
(62.4 MB)
| Name | Size | |
|---|---|---|
|
merging-artifact-FORMATS22-results.zip
md5:8a3a98d39128c111db8aec4b51dc6ed6 |
53.8 MB | Download |
|
merging-artifact.zip
md5:06788564c469ce4342f52bb21e115302 |
8.7 MB | Download |
31
3
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 31 | 31 |
| Downloads | 3 | 3 |
| Data volume | 116.2 MB | 116.2 MB |
| Unique views | 27 | 27 |
| Unique downloads | 2 | 2 |
Indexed in
- Publication date:
- July 7, 2022
- DOI:
-
- Keyword(s):
- timed automata parametric timed automata parametric timed model checking convex merging parameter synthesis formal verification
- Grants:
-
Agence Nationale de la Recherche:
- ProMiS - Provable Mitigation of Side Channel through Parametric Verification (ANR-19-CE25-0015)
- Meeting:
- 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), Warsaw, Poland, 12-17 September 2022
- License (for files):
- Creative Commons Attribution 4.0 International