Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking

Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad +1

Dynamic fault trees (DFTs) have emerged as an important tool for capturing the dynamic behavior of system failure. These DFTs are then analyzed qualitatively and quantitatively usi…