| 模型检测中状态爆炸问题研究综述 |
| |
| 引用本文： | 侯刚,周宽久,勇嘉伟,任龙涛,王小龙.模型检测中状态爆炸问题研究综述[J].计算机科学,2013,40(Z6):77-86,111. |
| |
| 作者姓名： | 侯刚 周宽久 勇嘉伟 任龙涛 王小龙 |
| |
| 作者单位： | 大连理工大学软件学院 大连116620;大连理工大学软件学院 大连116620;大连理工大学软件学院 大连116620;大连理工大学软件学院 大连116620;大连理工大学软件学院 大连116620 |
| |
| 基金项目： | 本文受国家自然科学基金项目(91018003,61272174)资助 |
| |
| 摘 要： | 模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题。系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向。
|
| 关 键 词： | 软件系统 模型检测 状态空间爆炸 形式化验证 |
Survey of State Explosion Problem in Model Checking |
| |
| HOU Gang,ZHOU Kuan-jiu,YONG Jia-wei,REN Long-tao and WANG Xiao-long.Survey of State Explosion Problem in Model Checking[J].Computer Science,2013,40(Z6):77-86,111. |
| |
| Authors: | HOU Gang ZHOU Kuan-jiu YONG Jia-wei REN Long-tao and WANG Xiao-long |
| |
| Affiliation: | School of Software,Dalian University of Technology,Dalian 116620,China;School of Software,Dalian University of Technology,Dalian 116620,China;School of Software,Dalian University of Technology,Dalian 116620,China;School of Software,Dalian University of Technology,Dalian 116620,China;School of Software,Dalian University of Technology,Dalian 116620,China |
| |
| Abstract: | |
| |
| Keywords: | Software systems Model checking State explosion Formal verification |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
