research
∙
10/24/2019
Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving
Dynamic dependability models, such as dynamic fault trees (DFTs) and dyn...
research
∙
10/20/2019
Integrating DFT and DRBD Formalizations in HOL4
Dynamic Fault Trees (DFT) and Dynamic Reliability Block Diagrams (DRBD) ...
research
∙
08/06/2019
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams
Dynamic reliability block diagrams (DRBDs) are introduced to overcome th...
research
∙
07/24/2018
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4
Dynamic Fault Trees (DFTs) is a widely used failure modeling technique t...
research
∙
12/07/2017