Validation of Stochastic Systems [[electronic resource] ] : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

• Record Nr.: UNISA996465723403316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
• ISBN: 1-280-30787-0; 9786610307876; 3-540-24611-8
• Edizione: [1st ed. 2004.]
• Descrizione fisica: 1 online resource (VIII, 470 p.)
• Collana: Lecture Notes in Computer Science, , 0302-9743 ; ; 2925
• Disciplina: 003/.76
• Soggetti: Probabilities; Computers; Computer logic; Software engineering; Operating systems (Computers); Microprocessors; Probability Theory and Stochastic Processes; Computation by Abstract Devices; Logics and Meanings of Programs; Software Engineering; Operating Systems; Processor Architectures
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: 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.