LTL中文，LTL的意思，LTL翻译及用法

2026-03-21 18:18 浏览次数 15

LTL

abbr. 立陶宛立特（立陶宛的货币名称缩写）；零担（less than truckload）

LTL 英语释义

英语释义

    1. less than truckload

LTL 片语

片语

LTL shippers非满载托运人

ltl formulasltl公式

ltl theoremltl原理

Ltl Blktail街道地址

Ltl Suamico城市

JPY LTL日元

LTL原理ltl theorem

LTL relaying零担货物中转

LTL Freight零担货运

LTL 例句

英汉例句

  • At last, the application of Property patterns of LTL formulas was given in SPIN tool.

    最后介绍了线性时态逻辑特性模式在SPIN中的应用。

  • Having the Promela code describing the component behavior, one can efficiently check for the behavior compatibility and LTL (Linear Temporal Logic) properties of cooperating software components.

    由于使用了代码来描述构件行为，就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。

  • 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给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。

  • In this paper, we design and implement a method of producing test oracle from program's LTL (Linear Temporal Logic) property.

    文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。

相关热词