摘要
形式化方法在硬件、软件的设计和验证中的应用越来越广泛,基于不同理论的形式化验证工具应运而生。本文对形式化验证工具定理证明系统HOL作了介绍,并结合例子说明HOL系统在硬件设计中的应用。
Formal method has been used in both practical hardware and software design and verification widely, Formal verification tools based on different theory emerge as the times require.The paper discusses the higher order logic theory prover HOL and illustrates specification and verification in hardware design.
作者
陈波
CHEN Bo(College of Computer Science and Technology,Shandong University of Technology,Zibo Shandong 255049,China)
出处
《科技视界》
2018年第28期162-163,共2页
Science & Technology Vision
