使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题。
By the method GUI software can be modeled from the viewpoint of users and there is no problem of state explosion.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
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.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。
To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题，给出了一个基于同构节点的动态故障树分析方法。
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.
这种优化的算法在一定程度上改善了由状态爆炸引起的求解线性规划次数指数级递增的问题；
To some certain extent, the proposed method improves the computational complexity problem resulting from state explosion and solution to the linear programming problems.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
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.
针对多重失效状态数量的组合爆炸问题，提出组合劣化分析方法；
A worse-combination filtering analysis skill was proposed to handle the quantity explosion problem in the multiple failure condition identification.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
切片方法删除了与待验证性质无关的层次和并发状态，缓解了空间爆炸问题，并且有助于模型的分析和理解。
Slicing can remove the irrelevant hierarchies and concurrent states to the property, reduce the state space, and help analyzing and understanding the models.
总结了UML状态机的设计应该满足实现层次上的复用能力，这可以是U ML状态机的模块化机制解决“状态爆炸”问题的有益补充。
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状态机的模块化机制解决“状态爆炸”问题的有益补充。
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".
应用推荐