Sciweavers

94
Voted
PAPM
2001
Springer
128views Mathematics» more  PAPM 2001»
15 years 2 months ago
Faster and Symbolic CTMC Model Checking
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin ...