2 papers
cs.LO2021
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving
Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid +1
Many practical engineering systems and their components have multiple performance levels and failure modes. If these systems form a monotonically increasing structure function (sys…
cs.FL2019
On the Formalization of Importance Measures using HOL Theorem Proving
Waqar Ahmed, Shahid Ali Murtza, Osman Hasan +1
Importance measures provide a systematic approach to scrutinize critical system components, which are extremely beneficial in making important decisions, such as prioritizing relia…