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.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
By the method GUI software can be modeled from the viewpoint of users and there is no problem of state explosion.
使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题。
In order to solve the problem of state space explosion of Markov chains in the research field of dynamic fault tree, a new method based on isomorphic node is presented.
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题，给出了一个基于同构节点的动态故障树分析方法。
State machine (SM) implementation should meet reusability on the level of implementation. This can be a useful complement to the modularity of the UML SM to address the problem of "state explosion".
总结了UML状态机的设计应该满足实现层次上的复用能力，这可以是U ML状态机的模块化机制解决“状态爆炸”问题的有益补充。
Because it is based on the exhaustive state space search, the state space explosion problem becomes the primary bottleneck when we apply model-checking to real systems.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
To some certain extent, the proposed method improves the computational complexity problem resulting from state explosion and solution to the linear programming problems.
这种优化的算法在一定程度上改善了由状态爆炸引起的求解线性规划次数指数级递增的问题；
In order to cope with the state space explosion problem of CQN-FC solution, a novel approximate performance bounds analysis (APBA) method is proposed, which ha.
并提出了一种新的计算有限容量闭合排队网络系统边界性能的分析方法APBA法，和其他近似分析方法相比，APBA法的计算时间复杂度更低。
In order to cope with the state space explosion problem of CQN-FC solution, a novel approximate performance bounds analysis (APBA) method is proposed, which ha.
并提出了一种新的计算有限容量闭合排队网络系统边界性能的分析方法APBA法，和其他近似分析方法相比，APBA法的计算时间复杂度更低。
应用推荐