ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Tue 9 Apr 2019 14:15 - 14:30 at SUN I - Tool Demos Chair(s): Marius Mikucionis

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.

Tue 9 Apr

tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Tool Demos at SUN I
Chair(s): Marius MikucionisAalborg University
tacas-2019-papers14:00 - 14:15
Talk
Florian Messner, Christian SternagelUniversity of Innsbruck, Austria
Link to publication
tacas-2019-papers14:15 - 14:30
Talk
Arnd HartmannsUniversity of Twente, Michaela KlauckSaarland Informatics Campus, Saarland University, David ParkerUniversity of Birmingham, Tim QuatmannRWTH Aachen University, Enno Ruijters
Link to publication
tacas-2019-papers14:30 - 14:45
Talk
Bo-Yuan HuangPrinceton University, USA, Hongce Zhang, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
Link to publication
tacas-2019-papers14:45 - 15:00
Talk
Link to publication
tacas-2019-papers15:00 - 15:15
Talk
Yu-Fang ChenAcademia Sinica, Yong LiInstitute of Software, Chinese Academy of Sciences, Xuechao Sun, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Junnan Xu
Link to publication
tacas-2019-papers15:15 - 15:30
Talk
Margus VeanesMicrosoft Research, Olli Saarikivi, Eric XuMicrosoft, USA, Tiki Wan
Link to publication
tacas-2019-papers15:30 - 15:45
Talk
Marco Bozzano, Harold Bruintjes, Alessandro CimattiFondazione Bruno Kessler, Joost-Pieter KatoenRWTH Aachen University, Thomas NollRWTH Aachen University, Stefano TonettaFondazione Bruno Kessler, Italy
Link to publication
tacas-2019-papers15:45 - 16:00
Talk
Gianluca BarbonUniversit� Grenoble Alpes, Inria, LIG, Vincent LeroyUniversity of Grenoble - CNRS, Gwen SalaünUniversity of Grenoble Alpes
Link to publication