A framework for formal probabilistic risk assessment using \textsf{HOL} theorem proving

DOI10.1007/978-3-031-66997-2_17MaRDI QIDQ6648178zbMATH OpenFDO

Authors Mohamed Abdelghany, Adnan Rashid, Sofiène Tahar

Publication date 4 December 2024

Full work available at URL https://doi.org/10.1007/978-3-031-66997-2_17

zbMATH Keywords

\textsf{HOL4}cause consequence diagramevent tree analysisfunctional block diagramhigher-order logicprobabilistic risk assessmenttheorem proving

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites work

• A framework for formal dynamic dependability analysis using HOL theorem proving
• Formalization of functional block diagrams using HOL theorem proving
• Formalization of RBD-based cause consequence analysis in HOL
• Formalization of reliability block diagrams in higher-order logic
• scientific article; zbMATH DE number 7015112 (Why is no real title available?)
• Probabilistic analysis of dynamic fault trees using HOL theorem proving
• Satisfying safety goals by probabilistic risk assessment.
• Towards Formal Fault Tree Analysis Using Theorem Proving

This page was built for publication: A framework for formal probabilistic risk assessment using \textsf{HOL} theorem proving

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