| 引用本文： |
-
王飞明,胡元闯,董荣胜.模型检测研究进展[J].广西科学院学报,2008,24(4):320-324,327. [点击复制]
- WANG Fei-ming,HU Yuan-chuang,DONG Rong-sheng.Research Progress on Mode Checking[J].Journal of Guangxi Academy of Sciences,2008,24(4):320-324,327. [点击复制]
|
|
| 摘要: |
| 阐述模型检测的基本思想和工作方式,介绍二叉决策图、符号模型检测、偏序规约等几种在模型检测中抑制状态爆炸的优化技术,并分析模型检测在应用上的优势,最后展望模型检测今后的研究热点。 |
| 关键词: 模型检测 状态爆炸 形式验证 时态逻辑 |
| DOI： |
| 投稿时间：2008-10-12 |
| 基金项目: |
|
| Research Progress on Mode Checking |
|
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. |
| Key words: mode checking sate explosion formal verification temporal logic |
