[TYPES/announce] QComp 2019: call for benchmarks and tool participation

[a.hartmanns at utwente.nl]

[While focused on probabilistic verification and Markov models, QComp also particularly welcomes submissions of suitable probabilistic programs and models of randomised algorithms.]

QComp 2019
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models
http://qcomp.org/competition/2019/
The Quantitative Formal Model Repository
http://qcomp.org/benchmarks/

QComp 2019 is the first friendly competition of tools for the analysis of quantitative formal models, part of the TACAS 2019 TOOLympics, built on a new repository of benchmark models. We seek *benchmark submissions* and *tool participants*.

Important dates:
Oct 20: Announce intent to submit benchmarks or participate with a tool
Oct 27: Benchmark submission
Dec 01: Tool submission

QComp 2019 covers models with a semantics in terms of
- discrete- and continuous-time Markov chains,
- Markov decision processes,
- Markov automata or
- probabilistic timed automata
and accepts any related analysis tool, in particular both model checkers as well as simulation-based tools.

All benchmarks are collected in the Quantitative Formal Model Repository at qcomp.org and available under an open-access license. The repository provides all models in their original format and the JANI model exchange format (jani-spec.org). Automatic conversions to JANI already exist from e.g.
- PPDDL,
- the PRISM language,
- generalised stochastic Petri nets in GreatSPN format,
- the Modest modelling language, and
- the pGCL probabilistic programming language.

For detailed information, please visit qcomp.org or contact the organisers:
Arnd Hartmanns (University of Twente, The Netherlands) <a.hartmanns at utwente.nl>
Tim Quatmann (RWTH Aachen, Germany) <tim.quatmann at cs.rwth-aachen.de>