Validation of Stochastic Systems

A Guide to Current Research

  • Christel Baier
  • Boudewijn R. Haverkort
  • Holger Hermanns
  • Joost-Pieter Katoen
  • Markus Siegle
Conference proceedings

DOI: 10.1007/b98484

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

Table of contents (13 papers)

  1. Front Matter
  2. Modelling Stochastic Systems

  3. 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
  4. 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
  5. Deductive Verification of Stochastic Systems

  6. Back Matter

About these proceedings


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

  • Christel Baier
    • 1
  • Boudewijn R. Haverkort
    • 2
  • Holger Hermanns
    • 3
  • Joost-Pieter Katoen
    • 4
  • Markus Siegle
    • 5
  1. 1.Institute for Theoretical Computer ScienceTechnical University DresdenGermany
  2. 2.Centre for Telematics and Information Technology, Faculty for Electrical Engineering, Mathematics and Computer ScienceUniversity of TwenteNetherlands
  3. 3.VASYINRIAGrenoble Rhône-AlpesFrance
  4. 4.Software Modeling and VerificationRWTH Aachen UniversityGermany
  5. 5.Institut für Technische InformatikUniversität der Bundeswehr München 

Bibliographic information

  • Copyright Information Springer Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22265-1
  • Online ISBN 978-3-540-24611-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349