MPG.eBooks - Table of Contents: Validation of Stochastic Systems

Read Now

Bibliographic Details
Other Authors:	Baier, Christel (Editor), Haverkort, Boudewijn R. (Editor), Hermanns, Holger (Editor), Katoen, Joost-Pieter (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:	1st ed. 2004
Series:	Lecture Notes in Computer Science
Subjects:	Computation By Abstract Devices Software Engineering Operating Systems (computers) Computers Processor Architectures Operating Systems Microprocessors Probability Theory And Stochastic Processes Logics And Meanings Of Programs Probabilities Computer Logic
Online Access:	https://doi.org/10.1007/b98484?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa

Table of Contents:

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