By the method GUI software can be modeled from the viewpoint of users and there is no problem of state explosion.

使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题。

youdao

Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.

组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。

youdao

To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.

该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。

youdao

Proponents of the singularity typically state that an intelligence explosion is a key factor of the Singularity where super-intelligences design successive generations of increasingly powerful minds.

FORBES: Technology, Digital Health and the Frankenstein Syndrome

The installation was put out of action to avoid the risk of an explosion, the state news agency reported.

BBC: Algeria hostage-takers 'surrounded at In Amenas plant'

The installation had been put out of action to avoid the risk of an explosion, the state news agency reported.

BBC: Algeria siege: 'Around 30' hostages unaccounted for