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.
