Validation of Stochastic Systems A Guide to Current Research /
Validation of Stochastic Systems A Guide to Current Research / [electronic resource] :
edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle.
- 1st ed. 2004.
- VIII, 470 p. online resource.
- Lecture Notes in Computer Science, 2925 1611-3349 ; .
- Lecture Notes in Computer Science, 2925 .
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.
9783540246114
10.1007/b98484 doi
Probabilities.
Computer science.
Software engineering.
Operating systems (Computers).
Microprocessors.
Computer architecture.
Probability Theory.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Operating Systems.
Processor Architectures.
QA273.A1-274.9
519.2
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.
9783540246114
10.1007/b98484 doi
Probabilities.
Computer science.
Software engineering.
Operating systems (Computers).
Microprocessors.
Computer architecture.
Probability Theory.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Operating Systems.
Processor Architectures.
QA273.A1-274.9
519.2