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

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

youdao

Desk checking should be done before the program is actually run on a computer.

桌面检验应该在程序实际运行前进行。

youdao

Desk checking should be done before the program is actually run on a computer.

桌面检验应该在程序实际运行前进行。

youdao