Now showing items 1-1 of 1

    • A Formally Verified HOL4 Algebra for Event Trees 

      Abdelghany, Mohamed; Ahmad, Waqar; Tahar, Sofi`ene (2020-04)
      Event Tree (ET) analysis is widely used as a forward deductive safety analysis technique for decision-making at the critical-system design stage. ET is a schematic diagram representing all possible operating states and ...