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

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

youdao

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.

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

youdao

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.

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

youdao