形式化验证方法浅析

作者：陈波; 李夫明

来源：电脑知识与技术, 2019, 15(34): 239-250.

DOI：10.14004/j.cnki.ckt.2019.4119

• 形式化验证方法
• 软件设计
• 硬件验证
• 模型检测
• 定理证明

随着信息技术的发展,软硬件系统越来越复杂,其中软硬件系统设计的正确性至关重要。形式化验证方法在硬件设计和软件开发等领域发挥越来越重要的作用,成为模拟验证的重要补充。本文主要介绍了形式化验证方法的发展现状并对其发展进行展望。

• 单位
  山东理工大学