Sciweavers

TACAS
2000
Springer
139views Algorithms» more  TACAS 2000»
14 years 4 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 (branchin...
Holger Hermanns, Joost-Pieter Katoen, Joachim Meye...