Validation of stochastic systems : a guide to current research /
| Corporate Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2004.
|
| Series: | Lecture notes in computer science ;
2925. Lecture notes in computer science. Tutorial. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Probabilistic automata : system types, parallel composition and comparison / Ana Sokolova, Erik P. de Vink
- Tutte le algebre insieme : concepts, discussions and relations of stochastic process algebras with general distributions / Mario Bravetti, Pedro R. D'Argenio
- An overview of probabilistic process algebras and their equivalences / Natalia López, Manuel Núñez
- Verifying qualitative properties of probabilistic programs / Benedikt Bollig, Martin Leucker
- On probabilistic computation tree logic / Frank Ciesinski, Marcus Grösser
- Model checking for probabilistic timed systems / Jeremy Sproston
- Serial disk-based analysis of large stochastic models / Rashid Mehmood
- Kronecker based matrix representations for large Markov models / Peter Buchholz, Peter Kemper
- Symbolic representations and analysis of large probabilistic systems / Andrew Miner, David Parker
- Probabilistic methods in state space analysis / Matthias Kuntz, Kai Lampka
- Analysing randomized distributed algorithms / Gethin Norman
- An abstraction framework for mixed non-deterministic and probabilistic systems / Michael Huth
- The verification of probabilistic lossy channel systems / Philippe Schnoebelen.