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