Abstract
Quantitative formal models capture probabilistic behaviour, real-time aspects, or general continuous dynamics. A number of tools support their automatic analysis with respect to dependability or performance properties. QComp 2019 is the first, friendly competition among such tools. It focuses on stochastic formalisms from Markov chains to probabilistic timed automata specified in the Jani model exchange format, and on probabilistic reachability, expected-reward, and steady-state properties. QComp draws its benchmarks from the new Quantitative Verification Benchmark Set. Participating tools, which include probabilistic model checkers and planners as well as simulation-based tools, are evaluated in terms of performance, versatility, and usability. In this paper, we report on the challenges in setting up a quantitative verification competition, present the results of QComp 2019, summarise the lessons learned, and provide an outlook on the features of the next edition of QComp.
Original language | English |
---|---|
Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems |
Subtitle of host publication | 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings |
Editors | Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen |
Place of Publication | Cham |
Publisher | Springer |
Pages | 69-92 |
Number of pages | 24 |
Volume | Part III |
ISBN (Electronic) | 978-3-030-17502-3 |
ISBN (Print) | 978-3-030-17501-6 |
DOIs | |
Publication status | Published - 2019 |
Event | 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 - Charles University, Prague, Czech Republic Duration: 6 Apr 2019 → 11 Apr 2019 Conference number: 25 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 11429 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 |
---|---|
Abbreviated title | TACAS 2019 |
Country/Territory | Czech Republic |
City | Prague |
Period | 6/04/19 → 11/04/19 |
Other | held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 |