并且基于该算法开发出新的符号模型检测工具。

A new symbolic model checking tool was built based on this algorithm.

youdao

建模后利用已经开发的模型检测工具，检测系统的一些重要性质可以保证系统的可靠性和正确性。

After modeling, we use model checker to check some of its key properties, which can guarantee the system's correctness and reliability.

youdao

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

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

youdao