There is a newer version of the record available.

Published April 30, 2021 | Version 2.0
Dataset Open

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

Creators

  • 1. LORIA, Université de Lorraine, Inria, CNRS
  • 2. Department of Computer Science, Aarhus University, Aarhus, Denmark

Contributors

Contact person:

  • 1. LORIA, Université de Lorraine, Inria, CNRS
  • 2. Department of Computer Science, Aarhus University, Aarhus, Denmark

Description

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

Files (20.4 MB)

Name Size Download all
md5:c7f1006a8ff6ba58640638bc88ef9e8b
773.9 kB Download
md5:513744a5794709e22056901f90584630
19.6 MB Download

Additional details

Related works

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