非经典切片技术及其在形式验证中的应用综述

• 作者: 吴尽昭 周宁 闫炜 高新岩
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 程序切片 计算切片 证明切片 约简 形式验证 性质验证 模型检验
• 年，卷（期）: 2007,（36）
• 所属期刊栏目: 学术探讨
• 页码范围: 43-47,54
• 页数: 6页
• 分类号: TP311
• 字数: 8304字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.36.015

摘要

切片技术最初是作为一种程序分解抽取的分析技术而出现的,经过20多年的不断发展和完善,应用范围已遍及软件工程学科的各个方面.特别是从本世纪初,随着非经典切片:计算切片和证明切片两个新兴研究方向的出现,其学术研究和工程价值越发突出.简要地介绍了切片技术思想的起源、发展过程,并着重介绍非经典的计算切片和证明切片技术及其在验证领域的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴尽昭	中国科学院成都计算机应用研究所	23	81	4.0	8.0
2	高新岩	中国科学院成都计算机应用研究所	7	24	3.0	4.0
3	周宁	兰州交通大学数理与软件工程学院	10	16	3.0	3.0
4	闫炜	中国科学院成都计算机应用研究所	4	7	2.0	2.0