中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
基于Verds的C语言子集的模型检测方法
Alternative Title: Model Checking Method on Subset of C Language Based on Verds
Author: 张兰兰
Keyword: 模型检测 ; 转化 ; Verds ; CEGAR ; MAGIC ; model checking ; tranform ; Verds ; CEGAR ; MAGIC
Source: 计算机系统应用
Issued Date: 2013
Issue: 11, Pages:19-25,18
Department: 中国科学院软件研究所计算机科学国家重点实验室,北京 100190; 中国科学院大学,北京 100190
Abstract: 针对现今软件使用逻辑错误的问题越来越多的出现,提出了对最流行最普遍的编程语言--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.
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/17002
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
张兰兰. 基于Verds的C语言子集的模型检测方法[J]. 计算机系统应用,2013-01-01(11):19-25,18.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[张兰兰]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[张兰兰]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace