软件模型检测中状态爆炸问题的解决方法  

Methods To Tackle State Explosion in Software Model Checking

作　　者：屈媛媛[1] 杜伊[1] QU Yuan-yuan DU Yi(Computer College of Sichuan University ,Sichuan 610065)

机构地区：[1]四川大学计算机学院,成都610065

出　　处：《现代计算机（中旬刊）》2017年第1期35-38,共4页Modern Computer

摘　　要：在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未来发展方向进行分析和总结。For the number of global states of a system with multiple processes can be enormous, it is exponential in both the number of processes and the number of components per process. We map the methods to tackle state space explosion.

关 键 词：状态空间爆炸 模型检测 文献综述 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]