| 模型检测研究进展 |
| |
| 引用本文： | 王飞明,胡元闯,董荣胜. 模型检测研究进展[J]. 广西科学院学报, 2008, 24(4): 320-324,327 |
| |
| 作者姓名： | 王飞明 胡元闯 董荣胜 |
| |
| 作者单位： | 桂林电子科技大学计算机系,广西,桂林,541004;桂林电子科技大学计算机系,广西,桂林,541004;桂林电子科技大学计算机系,广西,桂林,541004 |
| |
| 摘 要： | 阐述模型检测的基本思想和工作方式,介绍二叉决策图、符号模型检测、偏序规约等几种在模型检测中抑制状态爆炸的优化技术,并分析模型检测在应用上的优势,最后展望模型检测今后的研究热点.
|
| 关 键 词： | 模型检测 状态爆炸 形式验证 时态逻辑 |
| 收稿时间： | 2008-10-12 |
Research Progress on Mode Checking |
| |
| WANG Fei-ming,HU Yuan-chuang and DONG Rong-sheng. Research Progress on Mode Checking[J]. Journal of Guangxi Academy of Sciences, 2008, 24(4): 320-324,327 |
| |
| Authors: | WANG Fei-ming HU Yuan-chuang DONG Rong-sheng |
| |
| Affiliation: | WANG Fei-ming,HU Yuan-chuang,DONG Rong-sheng(Department of Computer Science,Guilin University of Electronic Technology,Guilin,Guangxi,541004,China) |
| |
| Abstract: | This paper presented the basic ideas and operate mode about mode checking and gave some optimization technology to deal with the state explosion,such as binary decision diagram,symbolic model checking,partial order reduction,abstract technology and combinational logic.It also analyzed the advantage of mode checking in application,and forecasted the hot research about mode checking. |
| |
| Keywords: | mode checking sate explosion formal verification temporal logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《广西科学院学报》浏览原始摘要信息 |
|
点击此处可从《广西科学院学报》下载全文 |
|
