Model checking compositional Markov systems.

MaRDI QIDQ3510491zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

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

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)