2.1.1 时序逻辑语言 线性时序逻辑(Linear Temporal Logic, LTL)是一种形式 化约束描述方法，可有效地描述系统在执行路径上的性质。
基于44个网页-相关网页
...为的有限状态自动机作为过渡模型，并转化为promela模型作为spin工具的输入，随后采用线性时序逻辑(linear-time temporal logic，ltl)公式描述系统期望满足的属性，根据spin的模拟结果对模型进行修改和完善，最终形成与设计高度一致的模型...
基于4个网页-相关网页
面向方面软件体系结构动态演化方法研究(硕博学位论文) - docin.com豆丁网 Pnueli于1977年首先把它引入计算机科学中【251。根据 时序逻辑语义模型的内涵不同分为两类：一种是线性时序逻辑（LinearTime Logic， LTL），它把时间看成是一个线性序列；另一种是分支时序逻辑（Computing Time Logic， CT
基于2个网页-相关网页
命题线性时序逻辑 PLTL ; propositional linear temporal logic
随后采用线性时序逻辑 linear-time temporal logic ; LTL
提出的线性时序逻辑 LinearTemporalLogic ; LTL
人员利用线性时序逻辑 LTL ; LinearTemporalLogic
提出的是线性时序逻辑 Linear Temporal Logic
出的是线性时序逻辑 Linear Temporal Logic
一种是线性时序逻辑 linear time Logic
线性时序逻辑性质 LTL property
线性时序逻辑是一个已经确立的规则。
文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。
In this paper, we design and implement a method of producing test oracle from program's LTL (Linear Temporal Logic) property.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
应用推荐