At last, the application of Property patterns of LTL formulas was given in SPIN tool.
最后介绍了线性时态逻辑特性模式在SPIN中的应用。
Spin effect in high energy reactions is powerful tool to study the properties of strong interaction.
高能反应中自旋效应是研究强相互作用性质的重要手段。
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语言执行方式的理解决定所描述系统模型的行为方式。
This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …
在介绍了相关理论知识后，使用当前较为流行的模型验证工具SPIN给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。
This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …
在介绍了相关理论知识后，使用当前较为流行的模型验证工具SPIN给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。
应用推荐