模型检测:理论、方法与应用

• 作者: 张文辉 林惠民
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 系统可靠性 模态/时序逻辑 模型检测
• 年，卷（期）: 2002,（z1）
• 所属期刊栏目: 综述评论
• 页码范围: 1907-1912
• 页数: 6页
• 分类号: TP311.1
• 字数: 5862字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2002.z1.002

摘要

随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注目.模型检测的研究大致涵盖以下内容:模态/时序逻辑、模型检测算法及其时空效率(特别是空间效率)的改进以及支撑工具的研制.这几个方面之间有着密切的内在联系.不同模态/时序逻辑的模型检测算法的复杂性不一样,优化算法往往是针对某些特定类型的逻辑公式.本文将就这几个方面分别加以阐述,最后介绍该领域的新进展.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林惠民	中国科学院软件研究所	11	360	5.0	11.0
2	张文辉	中国科学院软件研究所	12	378	5.0	12.0