| 软件模型检测新技术研究 |
| |
| 引用本文： | 化志章,吴传孙,揭安全,薛锦云. 软件模型检测新技术研究[J]. 微计算机信息, 2007, 23(36): 250-251,311 |
| |
| 作者姓名： | 化志章 吴传孙 揭安全 薛锦云 |
| |
| 作者单位： | 1. 330022,江西南昌,江西省高性能计算技术重点实验室;330022,江西南昌,江西师范大学计算机信息工程学院
2. 江西师范大学计算机信息工程学院,江西南昌,330022 |
| |
| 基金项目： | 国家重点基础研究发展规划(973计划);国家自然科学基金;江西省教育厅科技项目 |
| |
| 摘 要： | 软件模型检测以其潜在的商业价值一直为学术界和工业界关注．本文通过剖析模型检测工具SLAM，探讨软件模型检测的机理、方法及若干核心技术，并总结出软件模型检测的一些新策略．
|
| 关 键 词： | 软件模型检测 形式验证 |
| 文章编号： | 1008-0570（2007）12-3-0250-02 |
| 收稿时间： | 2007-08-03 |
| 修稿时间： | 2007-11-05 |
New Approaches for Software Model-Checking |
| |
| HUA ZHIZHANG,WU CHUANSUN,JIE ANQUAN,XUE JINYUN. New Approaches for Software Model-Checking[J]. Control & Automation, 2007, 23(36): 250-251,311 |
| |
| Authors: | HUA ZHIZHANG WU CHUANSUN JIE ANQUAN XUE JINYUN |
| |
| Abstract: | Software model-checking catches attentions of academia and industrial community for its latent trade value. By analyzing SLAM, some theories and key techniques for software model-checking are discussed, and some new strategies to optimize it are presented at last. |
| |
| Keywords: | SLAM |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
