Model Based Importance Analysis for Minimal Cut Sets

DOI10.1007/978-3-540-88387-6_27zbMath1183.68365OpenAlexW1606271155MaRDI QIDQ3540081

Samuel Wischmeyer, Thomas Peikenkamp, Jan-Hendrik Rakow, Eckard Böde

Publication date: 20 November 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_27

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Traffic problems in operations research (90B20) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• SIGREF
• MRMC

Cites Work

• Unnamed Item
• Interactive Markov chains. And the quest for quantified quality
• A calculus of communicating systems
• Automated compositional Markov chain generation for a plain-old telephone system
• A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
• Sigref – A Symbolic Bisimulation Tool Box
• Branching time and abstraction in bisimulation semantics

This page was built for publication: Model Based Importance Analysis for Minimal Cut Sets