Model checking is then used to check whether a program has a given property.

然后使用模型检查来检验一个程序是否有某个给定特性。

youdao

Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).

不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。

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