形式化验证方法浅析

• 作者: 李夫明 陈波
• 来源期刊: 电脑知识与技术:学术版
• 学科: 工学
• 关键词: 形式化验证方法 软件设计 硬件验证 模型检测 定理证明
• 年，卷（期）: 2019,（12）
• 页码范围: 239-240
• 页数: 2页
• 分类号: TP301

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈波	山东理工大学计算机科学与技术学院	12	6	2.0	2.0
2	李夫明	山东理工大学数学与统计学院	11	7	1.0	1.0