- 1. 线性时序逻辑: LTL
线性时序逻辑（LTL）是一种形式化语言，是并发或反应式程序动态语义，适合用来精确表示模型的动态语义。
dict.youdao.com - 2. 线性时序逻辑: Linear Temporal Logic
2.1.1 时序逻辑语言 线性时序逻辑(Linear Temporal Logic, LTL)是一种形式 化约束描述方法，可有效地描述系统在执行路径上的性质。
dict.youdao.com - 3. 线性时序逻辑: linear-time temporal logic
...为的有限状态自动机作为过渡模型，并转化为promela模型作为spin工具的输入，随后采用线性时序逻辑(linear-time temporal logic，ltl)公式描述系统期望满足的属性，根据spin的模拟结果对模型进行修改和完善，最终形成与设计高度一致的模型...
dict.youdao.com - 4. 线性时序逻辑: linear time Logic
面向方面软件体系结构动态演化方法研究(硕博学位论文) - docin.com豆丁网 Pnueli于1977年首先把它引入计算机科学中【251。根据 时序逻辑语义模型的内涵不同分为两类：一种是线性时序逻辑（LinearTime Logic， LTL），它把时间看成是一个线性序列；另一种是分支时序逻辑（Computing Time Logic， CT
dict.youdao.com - 5. 命题线性时序逻辑: PLTL
dict.youdao.com - 6. 命题线性时序逻辑: propositional linear temporal logic
dict.youdao.com - 7. 随后采用线性时序逻辑: linear-time temporal logic
dict.youdao.com - 8. 随后采用线性时序逻辑: LTL
dict.youdao.com - 9. 提出的线性时序逻辑: LinearTemporalLogic
dict.youdao.com - 10. 提出的线性时序逻辑: LTL
dict.youdao.com
有道词典