Ebook: Validation of Stochastic Systems: A Guide to Current Research
- Genre: Mathematics // Probability
- Tags: Computation by Abstract Devices, Logics and Meanings of Programs, Software Engineering, Operating Systems, Processor Architectures, Simulation and Modeling
- Series: Lecture Notes in Computer Science 2925
- Year: 2004
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
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.