中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
基于Verds的C语言子集的模型检测方法

文献类型:期刊论文

作者张兰兰
刊名计算机系统应用
出版日期2013
期号11页码:19-25,18
关键词模型检测 转化 Verds CEGAR MAGIC model checking tranform Verds CEGAR MAGIC
ISSN号1003-3254
其他题名Model Checking Method on Subset of C Language Based on Verds
中文摘要针对现今软件使用逻辑错误的问题越来越多的出现,提出了对最流行最普遍的编程语言--C语言子集的模型检测方法的研究。采用基于Verds工具的模型,运用C语言子集转化成Verds模型的算法,结合Verds工具和MAGIC工具实现模型检测。引入反例引导的抽象精化方法使模型检测解决状态爆炸的问题。 In problem of software logic errors, nowadays it emerges more and more. The paper presents the research for model checking methods of C language, that it is the most popular and general programming languages. The model checking based on Verds tools, using C language subset into Verds model algorithm, combined with the Verds tools and MAGIC tools. Introducing the counterexample guided abstraction refinement (CEGAR) method to solve the problem of state explosion.
语种中文
公开日期2014-12-16
源URL[http://ir.iscas.ac.cn/handle/311060/17002]  
专题软件研究所_软件所图书馆_期刊论文
推荐引用方式
GB/T 7714
张兰兰. 基于Verds的C语言子集的模型检测方法[J]. 计算机系统应用,2013(11):19-25,18.
APA 张兰兰.(2013).基于Verds的C语言子集的模型检测方法.计算机系统应用(11),19-25,18.
MLA 张兰兰."基于Verds的C语言子集的模型检测方法".计算机系统应用 .11(2013):19-25,18.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。