基于Verds的C语言子集的模型检测方法

• 作者: 张兰兰
• 来源期刊: 计算机系统应用
• 关键词: 模型检测 转化 Verds CEGAR MAGIC
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 专论?综述
• 页码范围: 19-25,18
• 页数: 8页
• 字数: 5375字
• 语种: 中文

摘要

针对现今软件使用逻辑错误的问题越来越多的出现，提出了对最流行最普遍的编程语言--C语言子集的模型检测方法的研究。采用基于Verds工具的模型，运用C语言子集转化成Verds模型的算法，结合Verds工具和MAGIC工具实现模型检测。引入反例引导的抽象精化方法使模型检测解决状态爆炸的问题。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张兰兰	中国科学院软件研究所计算机科学国家重点实验室	22	224	10.0	14.0