10.3969/j.issn.1673-629X.2008.11.047
程序切片技术在并发程序模型检查中的应用
模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难.其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间.文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公式映射到切片准则,并把得到的程序切片转化为验证所需的模型.经程序切片处理后,软件模型检查效率得到提高.
并发程序、模型检查、程序切片、状态空间、切片准则
18
TP301.2(计算技术、计算机技术)
2009-01-06(万方平台首次上网日期,不代表论文的发表时间)
共6页
163-167,171