Paper accepted at ATVA'14

Our paper “Fast Debugging of PRISM Models” by Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám and Joost-Pieter Katoen was accepted at ATVA 2014. The paper presents a new way to compute critical parts of a PRISM program by utilizing a MAX-SAT solver. This is the first approach rendering the computation of these sort of high-level counterexamples feasible for problems of practical relevance.