Published January 31, 2024 | Version 2.1
Dataset Open

The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata

  • 1. ROR icon Université Sorbonne Paris Nord
  • 2. ROR icon Laboratoire d'Informatique de Paris-Nord
  • 3. LORIA, Université de Lorraine, Inria, CNRS
  • 4. Department of Computer Science, Aarhus University, Aarhus, Denmark

Contributors

Contact person:

  • 1. ROR icon Université Sorbonne Paris Nord
  • 2. ROR icon Laboratoire d'Informatique de Paris-Nord
  • 3. LORIA, Université de Lorraine, Inria, CNRS
  • 4. Department of Computer Science, Aarhus University, Aarhus, Denmark

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

Related works

Is referenced by
Conference paper: 10.1007/978-3-030-79379-1_3 (DOI)