Validation of Stochastic Systems A Guide to Current Research /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Baier, Christel (Επιμελητής έκδοσης), Haverkort, Boudewijn R. (Επιμελητής έκδοσης), Hermanns, Holger (Επιμελητής έκδοσης), Katoen, Joost-Pieter (Επιμελητής έκδοσης), Siegle, Markus (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2925
• Θέματα: Mathematics.; Microprocessors.; Software engineering.; Operating systems (Computers).; Computers.; Computer logic.; Probabilities.; Probability Theory and Stochastic Processes.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Software Engineering.; Operating Systems.; Processor Architectures.

Πίνακας περιεχομένων:

• 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.