逻辑特性是人们在认识过程中借助于概念、判断、推理等思维形式能动地反映客观现实的理性认识过程。
这些是逻辑特性。
最后介绍了线性时态逻辑特性模式在SPIN中的应用。
At last, the application of Property patterns of LTL formulas was given in SPIN tool.
在上一节中，我们已经看到，方法系统的三个要素所得出的三个逻辑特性，在逻辑起点上是统一的。
We have perceived from the section above that three logical particularities drawn from three elements of the methodical system have the same logical starting point.
应用推荐