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

DOI10.5281/zenodo.10600092Zenodo10600092MaRDI QIDQ6717015FDOQ6717015

Dataset published at Zenodo repository.

Dylan Marinho, Jaco van de Pol, Étienne André

Publication date: 31 January 2024

Copyright license: Creative Commons Attribution 4.0 International

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")

This page was built for dataset: The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata