activity
20172019
most citedDynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.LO2017★ 2 cited

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…