A framework for formal probabilistic risk assessment using \textsf{HOL} theorem proving
From MaRDI portal
Publication:6648178
DOI10.1007/978-3-031-66997-2_17MaRDI QIDQ6648178
Adnan Rashid, Mohamed Abdelghany, Sofiène Tahar
Publication date: 4 December 2024
theorem provinghigher-order logicprobabilistic risk assessmentevent tree analysiscause consequence diagram\textsf{HOL4}functional block diagram
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formalization of reliability block diagrams in higher-order logic
- Formalization of RBD-based cause consequence analysis in HOL
- A framework for formal dynamic dependability analysis using HOL theorem proving
- Satisfying safety goals by probabilistic risk assessment.
- Towards Formal Fault Tree Analysis Using Theorem Proving
- Formalization of functional block diagrams using HOL 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)
