Issue 2/2018
TACAS 2016 (pp. 119-210)
Content (7 Articles)
TACAS 2016
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Open Access
TACAS 2016
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
Marta Kwiatkowska, David Parker, Clemens Wiltsche
Regular Paper
Automated translation of VDM to JML-annotated Java
Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens