期刊文章详细信息
一种软件模型检测方法及其原型系统
A Software Model Checking Mothed and Its Prototype System
文献类型：期刊文章
机构地区：[1]中国人民解放军91413部队
基 金：国家自然科学基金(60473003)资助课题
年 份：2010
卷 号：31
期 号：11
起止页码：39-46
语 种：中文
收录情况：普通刊
摘 要：模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点。提出的软件模型检测方法及实现的原型系统,在模型检测技术理论和方法的基础上,重点介绍该系统的基本思路和框架,并通过模型检测技术在软件质量保证领域方面的应用,结合中间代码转换、程序分析技术和基于SAT方法的模型检测技术,能够进行软件特别是并行程序的验证。
关 键 词：模型检测 软件验证 程序分析技术 SAT方法
分 类 号：TP311.52]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
