A framework for formal dynamic dependability analysis using HOL theorem proving

DOI10.1007/978-3-030-53518-6_7zbMath1455.68246OpenAlexW3042779535MaRDI QIDQ2219384

Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar

Publication date: 20 January 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53518-6_7

zbMATH Keywords

continuous-time Markov chainsdynamic fault treesdynamic dependability analysisdynamic reliability block diagramsHOL theorem proving

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Formalization of functional block diagrams using HOL theorem proving ⋮ A framework for formal probabilistic risk assessment using \textsf{HOL} theorem proving

Uses Software

• Unnamed Item
• Unnamed Item
• HOL
• BlockSim
• DRBD

This page was built for publication: A framework for formal dynamic dependability analysis using HOL theorem proving