Sciweavers

Share
TACAS
2000
Springer

A Markov Chain Model Checker

8 years 8 months ago
A Markov Chain Model Checker
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branching) temporal logic formula has been proposed for both the discrete [17,6] and the continuous time setting [4,8]. In this paper, we describe a prototype model checker for discrete and continuous-time Markov chains, the Erlangen
Holger Hermanns, Joost-Pieter Katoen, Joachim Meye
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where TACAS
Authors Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
Comments (0)
books