By the method GUI software can be modeled from the viewpoint of users and there is no problem of state explosion.
使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题。
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.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
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.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
应用推荐