模型检验中抽象技术研究综述

• 作者: 屈婉霞 李暾 杨晓东 郭阳
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 模型检验 谓词抽象 抽象精化 反例 插值
• 年，卷（期）: 2006,（33）
• 所属期刊栏目: 博士论坛
• 页码范围: 15-19
• 页数: 5页
• 分类号: TP391.72
• 字数: 7567字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.33.005

摘要

在模型检验中,抽象技术是解决状态空间爆炸问题的有效方法之一.论文描述了模型检验对抽象模型的基本要求,给出了抽象模型的定义及其评价指标,对抽象技术和自动化的抽象精化技术的主要方法及其研究进展作了比较深入、全面的综述,并讨论了抽象技术今后的发展方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭阳	国防科学技术大学计算机学院	39	252	9.0	14.0
2	李暾	国防科学技术大学计算机学院	29	182	7.0	12.0
3	杨晓东	国防科学技术大学计算机学院	18	186	7.0	13.0
4	屈婉霞	国防科学技术大学计算机学院	8	88	5.0	8.0