Validation of Stochastic Systems

A Guide to Current Research

ISBN: 978-3-540-22265-1 (Print) 978-3-540-24611-4 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages -

  2. Modelling Stochastic Systems

    1. No Access

      Book Chapter

      Pages 1-43

      Probabilistic Automata: System Types, Parallel Composition and Comparison

    2. No Access

      Book Chapter

      Pages 44-88

      Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions

    3. No Access

      Book Chapter

      Pages 89-123

      An Overview of Probabilistic Process Algebras and Their Equivalences

  3. Model Checking of Stochastic Systems

    1. No Access

      Book Chapter

      Pages 124-146

      Verifying Qualitative Properties of Probabilistic Programs

    2. No Access

      Book Chapter

      Pages 147-188

      On Probabilistic Computation Tree Logic

    3. No Access

      Book Chapter

      Pages 189-229

      Model Checking for Probabilistic Timed Systems

  4. Representing Large State Spaces

    1. No Access

      Book Chapter

      Pages 230-255

      Serial Disk-Based Analysis of Large Stochastic Models

    2. No Access

      Book Chapter

      Pages 256-295

      Kronecker Based Matrix Representations for Large Markov Models

    3. No Access

      Book Chapter

      Pages 296-338

      Symbolic Representations and Analysis of Large Probabilistic Systems

    4. No Access

      Book Chapter

      Pages 339-383

      Probabilistic Methods in State Space Analysis

  5. Deductive Verification of Stochastic Systems

    1. No Access

      Book Chapter

      Pages 384-418

      Analysing Randomized Distributed Algorithms

    2. No Access

      Book Chapter

      Pages 419-444

      An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems

    3. No Access

      Book Chapter

      Pages 445-465

      The Verification of Probabilistic Lossy Channel Systems

  6. Back Matter

    Pages -