Our new PROPhESY tool for parameter synthesis of Markov chains has been elected (out of 30 artefacts) as runner-up in the Artifact Evaluation at CAV 2015.    In addition, Joost-Pieter Katoen gave a three-hour tutorial on probabilistic verification.  The tutorial slides can be found here.