Towards Formal Fault Tree Analysis Using Theorem Proving

DOI10.1007/978-3-319-20615-8_3zbMath1417.68174arXiv1505.02648OpenAlexW2963684489MaRDI QIDQ3453105

Osman Hasan, Waqar Ahmed

Publication date: 20 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1505.02648

zbMATH Keywords

theorem provingprobabilistic analysishigher-order logicsatellite's solar arrays

Mathematics Subject Classification ID

Related Items (2)

Formal Dependability Modeling and Analysis: A Survey ⋮ Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation

Uses Software

• Isabelle/HOL
• HOL
• CafeOBJ
• ReliaSoft
• ASENT

Cites Work

• An approach for lifetime reliability analysis using theorem proving
• Toward a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic
• Three Chapters of Measure Theory in Isabelle/HOL
• Formalization of Continuous Probability Distributions
• Formal Fault Tree Analysis - Practical Experiences
• Towards the Formal Reliability Analysis of Oil and Gas Pipelines
• On the Formalization of the Lebesgue Integration Theory in HOL
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards Formal Fault Tree Analysis Using Theorem Proving