Validation of Stochastic Systems 2004

Modelling Stochastic Systems

Model Checking of Stochastic Systems

Representing Large State Spaces

Deductive Verification of Stochastic Systems

maintained by Schloss Dagstuhl LZI at University of Trier