Stochastic Model Checking
Model-checking continuous-time Markov chains