Paper accepted at CAV 2015

Our paper “PROPhESY: A PRObabilistic ParamEter SYnthesis Tool” by  Christian Dehnert, Sebastian Junges, Nils Jansen,  Florian Corzilius, Matthias Volk, Harold Bruintjes,  Joost-Pieter Katoen, and Erika Ábrahám was accepted for publication at the 27th International Conference on Computer Aided Verification (CAV) 2015. The paper presents the tool PROPhESY, which is dedicated to model checking and parameter synthesis for parametric discrete-time Markov chains. It features novel and efficient model checking algorithms as well as incremental parameter synthesis. Moreover, it has web-front end supporting visualization and user-guided parameter synthesis.