Validation of Stochastic Systems

A Guide to Current Research

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

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

Table of contents

  1. Front Matter
  2. Modelling Stochastic Systems

  3. Model Checking of Stochastic Systems

    1. Benedikt Bollig, Martin Leucker
      Pages 124-146
    2. Frank Ciesinski, Marcus Größer
      Pages 147-188
  4. Representing Large State Spaces

    1. Peter Buchholz, Peter Kemper
      Pages 256-295
    2. Matthias Kuntz, Kai Lampka
      Pages 339-383
  5. Deductive Verification of Stochastic Systems

  6. Back Matter

About this book

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

  • 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

  • DOI https://doi.org/10.1007/b98484
  • 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
  • About this book