Validation of stochastic systems. A guide to current research. (Q1883944)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Sokolova, Ana; de Vink, Erik P.}, Probabilistic automata: System types, parallel composition and comparison, 1-43 [Zbl 1203.68089] \textit{Bravetti, Mario; D'Argenio, Pedro R.}, Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions, 44-88 [Zbl 1203.68113] \textit{López, Natalia; Núñez, Manuel}, An overview of probabilistic process algebras and their equivalences, 89-123 [Zbl 1203.68115] \textit{Bollig, Benedikt; Leucker, Martin}, Verifying qualitative properties of probabilistic programs, 124-146 [Zbl 1203.68094] \textit{Ciesinski, Frank; Größer, Marcus}, On probabilistic computation tree logic, 147-188 [Zbl 1203.68096] \textit{Sproston, Jeremy}, Model checking for probabilistic timed systems, 189-229 [Zbl 1203.68102] \textit{Mehmood, Rashid}, Serial disk-based analysis of large stochastic models, 230-255 [Zbl 1203.68028] \textit{Buchholz, Peter; Kemper, Peter}, Kronecker based matrix representations for large Markov models, 256-295 [Zbl 1203.68116] \textit{Miner, Andrew; Parker, David}, Symbolic representations and analysis of large probabilistic systems, 296-338 [Zbl 1203.68117] \textit{Kuntz, Matthias; Lampka, Kai}, Probabilistic methods in state space analysis, 339-383 [Zbl 1203.68100] \textit{Norman, Gethin}, Analysing randomized distributed algorithms, 384-418 [Zbl 1203.68326] \textit{Huth, Michael}, An abstraction framework for mixed non-deterministic and probabilistic systems, 419-444 [Zbl 1203.68099] \textit{Schnoebelen, Philippe}, The verification of probabilistic lossy channel systems, 445-465 [Zbl 1203.68101]