MODEL CHECKING PROBLEM的意思|示意

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.

由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。

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.

SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。

To check consistency of UML model, the consistency checking is converted to a problem of theorem proving.

在检验u ML模型一致性时，把一致性检验问题转化为逻辑定理证明问题。

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.

针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。