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) <[email protected]> Tim Quatmann (RWTH Aachen, Germany) <[email protected]> ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
