Model checking compositional Markov systems.

zbMATH Open1144.68040MaRDI QIDQ3510491FDOQ3510491

Authors: Sven Johr 

Publication date: 3 July 2008

Full work available at URL: http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-7165-7

Recommendations

• Model checking probabilistic systems
• Model Checking Interactive Markov Chains
• The how and why of interactive Markov chains
• Model checking of probabilistic and nondeterministic systems
• Compositional verification and optimization of interactive Markov chains

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Compositional abstraction for stochastic systems
• A Tutorial on Interactive Markov Chains
• Model Based Importance Analysis for Minimal Cut Sets
• Cost vs. time in stochastic games and Markov automata

This page was built for publication: Model checking compositional Markov systems.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510491)