Validation of Stochastic Systems

A Guide to Current Research

480 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Comparison.- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.- An Overview of Probabilistic Process Algebras and Their Equivalences.- Model Checking of Stochastic Systems.- Verifying Qualitative Properties of Probabilistic Programs.- On Probabilistic Computation Tree Logic.- Model Checking for Probabilistic Timed Systems.- Representing Large State Spaces.- Serial Disk-Based Analysis of Large Stochastic Models.- Kronecker Based Matrix Representations for Large Markov Models.- Symbolic Representations and Analysis of Large Probabilistic Systems.- Probabilistic Methods in State Space Analysis.- Deductive Verification of Stochastic Systems.- Analysing Randomized Distributed Algorithms.- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.- The Verification of Probabilistic Lossy Channel Systems.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540222651
• Sprache: Englisch
• Erscheinungsdatum: 11.08.2004
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Holger Hermanns, Joost-Pieter Katoen, Christel Baier, Boudewijn R. Haverkort, Markus Siegle