Dataset Open Access
The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata
Étienne André;
Dylan Marinho;
Jaco van de Pol
Contact person(s)
Dylan Marinho
Data collector(s)
Étienne André;
Jaco van de Pol
We present here the IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata
We present two archives:
- one (benchmarks.tar.xz) with the models and the properties
- one (full.tar.xz) with all the results: the expected results, generated PDF and graphics, and a whole standalone Web page (more or less equivalent to www.imitator.fr/static/library2/) summarizing all benchmarks
See a full description in the TAP 2021 paper ("A Benchmarks Library for Extended Parametric Timed Automata")
Files
(20.4 MB)
| Name | Size | |
|---|---|---|
|
benchmarks.tar.xz
md5:c7f1006a8ff6ba58640638bc88ef9e8b |
773.9 kB | Download |
|
full.tar.xz
md5:513744a5794709e22056901f90584630 |
19.6 MB | Download |
77
13
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 77 | 77 |
| Downloads | 13 | 13 |
| Data volume | 123.0 MB | 123.0 MB |
| Unique views | 68 | 68 |
| Unique downloads | 7 | 7 |
Indexed in
- Publication date:
- April 30, 2021
- DOI:
-
- Keyword(s):
- imitator parametric timed automata timed automata hybrid automata benchmarks model checking
- Meeting:
- 15th International Conference on Tests and Proofs (TAP 2021), online
- Related identifiers:
- Referenced by
- 10.1007/978-3-030-79379-1_3 (Conference paper)
- License (for files):
- Creative Commons Attribution 4.0 International