The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/4730979
下载链接
链接失效反馈官方服务：
资源简介：
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")
创建时间：
2024-01-31
