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

Methods To Tackle State Explosion in Software Model Checking

在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未来发展方向进行分析和总结。

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.