Skip to main content
  • Textbook
  • © 2004

Validation of Stochastic Systems

A Guide to Current Research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2925)

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (13 chapters)

  1. Front Matter

  2. Model Checking of Stochastic Systems

    1. Verifying Qualitative Properties of Probabilistic Programs

      • Benedikt Bollig, Martin Leucker
      Pages 124-146
    2. On Probabilistic Computation Tree Logic

      • Frank Ciesinski, Marcus Größer
      Pages 147-188
  3. Representing Large State Spaces

    1. Kronecker Based Matrix Representations for Large Markov Models

      • Peter Buchholz, Peter Kemper
      Pages 256-295
    2. Probabilistic Methods in State Space Analysis

      • Matthias Kuntz, Kai Lampka
      Pages 339-383
  4. Deductive Verification of Stochastic Systems

    1. The Verification of Probabilistic Lossy Channel Systems

      • Philippe Schnoebelen
      Pages 445-465
  5. Back Matter

Keywords

  • Computation Tree Logic
  • Markov models
  • algorithms
  • automata
  • formal methods
  • logic
  • modeling
  • probabilistic automata
  • probabilistic systems
  • probabilistic timed systems
  • randomized algorithms
  • state space analysis
  • stochastic process algebras
  • stochastic systems
  • stochastic systems modeling

Editors and Affiliations

  • Institute for Theoretical Computer Science, Technical University Dresden, Germany

    Christel Baier

  • Centre for Telematics and Information Technology, Faculty for Electrical Engineering, Mathematics and Computer Science, University of Twente, Netherlands

    Boudewijn R. Haverkort

  • VASY, INRIA, Grenoble Rhône-Alpes, France

    Holger Hermanns

  • Software Modeling and Verification, RWTH Aachen University, Germany

    Joost-Pieter Katoen

  • Institut für Technische Informatik, Universität der Bundeswehr München,  

    Markus Siegle

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions