Tools:

• Proof Recommendation System for the HOL4 Theorem Prover

• Extending XReason for Formal XAI and Adversarial Detection

• Functional Block Diagrams and Event Trees Modeling and Analysis

• An Adaptive Failure-Aware Scheduler for Hadoop

• Bridge between Computer Algebra and Theorem Prover

• Multiway Decision Graphs
• MDG-HOL
• Verilog-HOL-MDG
• Embedding MDG in HOL
• ASM-MDG
• Language Emptiness Model Checking using MDG

• Syntactic Model Reduction for Hardware Verification

• Composition and Reduction Techniques for ATM Systems Verification