At last, the application of Property patterns of LTL formulas was given in SPIN tool.

最后介绍了线性时态逻辑特性模式在SPIN中的应用。

youdao

Spin effect in high energy reactions is powerful tool to study the properties of strong interaction.

高能反应中自旋效应是研究强相互作用性质的重要手段。

youdao

The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking tool SPIN. This paper studies semantic engines of PROMELA.

模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。

youdao

Mr. Williams said he called the mayor to apologize but stands by his position that the NYPD is misusing the tactic and that the administration is using "spin and selective statistics" to sell stop and frisk as a life-saving tool.

WSJ: Mayor Celebrates His Achievements