A Markov Chain Model Checker.

Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle

Browse the full TACAS paper archive.