The Verification of MDG Algorithms in the HOL Theorem Prover
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Formalized Probability Theory and Applications Using Theorem Proving
Verification and Evaluation of Computer and Communication Systems
Watermarking Techniques for Intellectual Property Protection in SOC