面向源代码的软件模型检测及其实现

• 作者: 何恺铎 宋晓宇 李力 李江 顾明
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 软件模型检测 源程序验证 谓词抽象 抽象求精
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 软件工程
• 页码范围: 267-272
• 页数: 6页
• 分类号: TP3
• 字数: 6999字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2009.01.068

摘要

模型检测应用于检测软件可靠性具有重要意义.介绍了一种基于谓词抽象和反例引导抽象求精技术对源程序进行建模和验证的模型检测方法,并结合自行研发的Jchecker工具详细介绍了该软件模型检测技术的运作过程和关键算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾明	清华大学软件学院	72	1054	16.0	30.0
5	李力	清华大学软件学院	26	310	10.0	17.0
9	李江	清华大学软件学院	7	40	3.0	6.0
10	何恺铎	清华大学软件学院	1	17	1.0	1.0