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

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

youdao

Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.

模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。

youdao

Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.

模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。

youdao