The Study of Hardware Verification in Theorem Prover HOL

• 基于定理证明器HOL的硬件验证研究