程序模型检查器综述

摘要：

模型检查实际程序设计语言编写的程序是近年来程序验证领域的研究热点之一,出现了一批针对C,C++或Java语言的程序模型检查器原型.总结了程序模型检查中的主要问题及相关技术,以是否使用中间建模语言为标准,对现有程序模型检查器进行了分类,并具体地介绍了一些代表性工具中的模型获取及化简技术,最后展望了程序模型检查器未来的研究方向.

关键词：模型检查、程序模型检查、模型抽取

所属期刊栏目：36

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

资助基金：863国家重点项目2007AA010301

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

页数：共5页

页码：12-15,41