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

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

理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。

Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.

youdao

9月份普林斯顿大学的三位科学家使用最受欢迎的触摸屏机器模型对机器及其软件进行了模拟检测。

In September three scientists at Princeton University got hold of the most popular touch-screen model and took it and its software to bits.

youdao