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, founded at University of Trier