17 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.LO2016★ 17 cited
Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach
Waqar Ahmed, Osman Hasan
Fault Tree (FT) is a standard failure modeling technique that has been extensively used to predict reliability, availability and safety of many complex engineering systems. In orde…
cs.LO2016★ 1 cited
Formal Availability Analysis using Theorem Proving
Waqar Ahmed, Osman Hasan
Availability analysis is used to assess the possible failures and their restoration process for a given system. This analysis involves the calculation of instantaneous and steady-s…