HOL逻辑相关硕士博士期刊学术论文 - 搜论网

HOL逻辑相关论文

高阶逻辑验证系统HOL及其应用初探

形式化方法在硬件、软件的设计和验证中的应用越来越广泛,基于不同理论的形式化验证工具应运而生。本文对形式化验证工具定理证明......

期刊

形式化验证方法 HOL逻辑 HOL系统带复位的奇偶校验器 Formal Verification methodHOL logicHOL systemParit

看过本文同时还关注