【提出的线性时序逻辑】

提出的线性时序逻辑

LinearTemporalLogic

时序逻辑系统有很多种类，其中最具代表性的是Zohar Manna和AmirPnueli提出的线性时序逻辑（LinearTemporalLogic，LTL）、Edmund M．Clarke和E．AllenEmerson提出的计算树逻辑（Computatio...

基于2个网页-相关网页

LTL

...应用于程序验证中后，该研究领域涌现出了大量的时序逻辑版本，如Manna和Pnueli提出的线性时序逻辑（LinearTemporal Logic，LTL），Karpll3】提出的分支时序逻辑（BraIlchTemporalLogic，如erE），还有 L...

基于2个网页-相关网页

短语

提出的线性时序逻辑

The proposed 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

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句