Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving

Mohamed Abdelghany, Sofiene Tahar

Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of…