...初始状态开始，枚举协议中的所有可达状态，随着通信协议的复杂性的不断增加，它所面临的状态爆炸问题（State Explosion Problem）也随之变得越来越突出。为了缓解状态空间爆炸问题，现在已提出大量的各种各样的改进技术。
基于16个网页-相关网页
known state space explosion problem 状态空间爆炸问题
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state 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.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
应用推荐