Browsing Electrical Engineering by Subject "Higher-Order Logic"
Now showing items 1-1 of 1
-
A Formally Verified HOL4 Algebra for Event Trees
(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 ...