Validation of Stochastic Systems - A Guide to Current Research

This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area.

The lectures are organized in topical sections on

- modeling stochastic systems

- model checking of stochastic systems

- representing large state spaces

- deductive verification of stochastic systems.