When using in the model driven architecture (MDA) service platform, the correctness and high-performance of the model checking software based on the mechanism are also testified.

模型验证软件通过在模型驱动架构(MDA)业务平台中的测试证明了该验证机制的正确性和高效性。

youdao

Temporal logics are widely used in software verification and model checking.

时态逻辑在软件确认和模型检查中有广泛的应用。

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