Published January 31, 2024
| Version 2.1
Dataset
Open
The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata
Description
We present here the IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata
We present two archives:
- one (benchmarks.zip) with the models and the properties
- one (full.zip) with the benchmarks and 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/library.html) summarizing all benchmarks
See a full description in the TAP 2021 paper ("A Benchmarks Library for Extended Parametric Timed Automata")
Files
benchmarks.zip
Files
(33.2 MB)
Name | Size | Download all |
---|---|---|
md5:85b83375de1dc12cc25c11c374b3aaa0
|
3.1 MB | Preview Download |
md5:034ec56dd246ee7c440c561f257eea6e
|
30.2 MB | Preview Download |
Additional details
Identifiers
Related works
- Is referenced by
- Conference paper: 10.1007/978-3-030-79379-1_3 (DOI)