...初始状态开始，枚举协议中的所有可达状态，随着通信协议的复杂性的不断增加，它所面临的状态爆炸问题（State Explosion Problem）也随之变得越来越突出。为了缓解状态空间爆炸问题，现在已提出大量的各种各样的改进技术。
基于16个网页-相关网页
known state space explosion problem 状态空间爆炸问题
To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.
该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
应用推荐