The property to be checked is described as a finite state machine that transitions on atomic predicates, properties that can be identified by cursory look at the program.

所要检查的特性被描述为一个有限状态机器，即原子谓词上的转变，这样粗略地查看程序就能识别出这些特性。

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

Further more, this paper analyzed the wall's stress distributing state by the finite element program, it provides a reference for concept design in the practical engineering.

另外，本文借助有限元程序分析了墙体的应力分布状态，这为实际工程中的概念设计提供一定的参考。

youdao

Ideally this would be done by reforming Medicaid financing to provide the federal assistance to the states for the program through fixed, finite block grants, which do not vary by matching increased state Medicaid spending as under the current system.

FORBES: Universal Health Care With No Mandates