Validation of Stochastic Systems 2004

Modelling Stochastic Systems

Model Checking of Stochastic Systems

Representing Large State Spaces

Deductive Verification of Stochastic Systems