TY - GEN
T1 - The quantitative verification benchmark set
AU - Hartmanns, Arnd
AU - Klauck, Michaela
AU - Parker, David
AU - Quatmann, Tim
AU - Ruijters, Enno
PY - 2019/4/4
Y1 - 2019/4/4
N2 - We present an extensive collection of quantitative models to facilitate the development, comparison, and benchmarking of new verification algorithms and tools. All models have a formal semantics in terms of extensions of Markov chains, are provided in the Jani format, and are documented by a comprehensive set of metadata. The collection is highly diverse: it includes established probabilistic verification and planning benchmarks, industrial case studies, models of biological systems, dynamic fault trees, and Petri net examples, all originally specified in a variety of modelling languages. It archives detailed tool performance data for each model, enabling immediate comparisons between tools and among tool versions over time. The collection is easy to access via a client-side web application at qcomp.org with powerful search and visualisation features. It can be extended via a Git-based submission process, and is openly accessible according to the terms of the CC-BY license.
AB - We present an extensive collection of quantitative models to facilitate the development, comparison, and benchmarking of new verification algorithms and tools. All models have a formal semantics in terms of extensions of Markov chains, are provided in the Jani format, and are documented by a comprehensive set of metadata. The collection is highly diverse: it includes established probabilistic verification and planning benchmarks, industrial case studies, models of biological systems, dynamic fault trees, and Petri net examples, all originally specified in a variety of modelling languages. It archives detailed tool performance data for each model, enabling immediate comparisons between tools and among tool versions over time. The collection is easy to access via a client-side web application at qcomp.org with powerful search and visualisation features. It can be extended via a Git-based submission process, and is openly accessible according to the terms of the CC-BY license.
UR - http://www.scopus.com/inward/record.url?scp=85064956253&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-17462-0_20
DO - 10.1007/978-3-030-17462-0_20
M3 - Conference contribution
SN - 978-3-030-17501-6
VL - 1
T3 - Lecture Notes in Computer Science
SP - 344
EP - 350
BT - Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019
A2 - Beyer, D.
A2 - Huisman, M.
A2 - Kordon, F.
A2 - Steffen, B.
PB - Springer
T2 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19),
Y2 - 6 April 2019 through 11 April 2019
ER -