research
∙
08/13/2022
On the Formalization of the Heat Conduction Problem in HOL
Partial Differential Equations (PDEs) are widely used for modeling the p...
share
research
∙
09/07/2021
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation
The Hadoop scheduler is a centerpiece of Hadoop, the leading processing ...
research
∙
04/29/2020
A Formally Verified HOL4 Algebra for Event Trees
Event Tree (ET) analysis is widely used as a forward deductive safety an...
research
∙
03/08/2020
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
Due to major breakthroughs in software and engineering technologies, emb...
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