期刊文章详细信息
软件模型检测新技术研究
New Approaches for Software Model-Checking
文献类型：期刊文章
机构地区：[1]江西省高性能计算技术重点实验室 [2]江西师范大学计算机信息工程学院,江西南昌330022
基 金：国家重大基础研究前期研究专项(973计划)(2003CCA02800);国家自然科学基金项目(60273092);江西省教育厅科技项目(2005-90)
年 份：2007
卷 号：23
期 号：36
起止页码：250-251
语 种：中文
收录情况：BDHX、BDHX2004、核心刊
摘 要：软件模型检测以其潜在的商业价值一直为学术界和工业界关注.本文通过剖析模型检测工具SLAM,探讨软件模型检测的机理、方法及若干核心技术,并总结出软件模型检测的一些新策略.
关 键 词：软件模型检测 形式验证 SLAM
分 类 号：TP301.1]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
