The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata (Q6717015)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata |
Dataset published at Zenodo repository. |
Statements
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")
0 references
31 January 2024
0 references
2.1
0 references
