线性时序逻辑性质
基于1个网页-相关网页
Properties of linear temporal logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。
在介绍了相关理论知识后，使用当前较为流行的模型验证工具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 …
youdao
应用推荐
模块上移
模块下移
不移动