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

摘要：

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

关键词：程序切片、计算切片、证明切片、约简、形式验证、性质验证、模型检验

所属期刊栏目：43

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60373113;国家重点基础研究发展计划973计划2004CB318000

在线出版日期：2008-03-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：43-47,54