FEEDBACK Smiley face
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. - VIII, 470 p. online resource. - Lecture Notes in Computer Science, 2925 0302-9743 ; . - 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.


10.1007/b98484 doi

Software engineering.
Operating systems (Computers).
Computer logic.
Probability Theory and Stochastic Processes.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Software Engineering.
Operating Systems.
Processor Architectures.

QA273.A1-274.9 QA274-274.9


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: