For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification .

他将 时序 逻辑引入计算机科学，为程序和系统的检测验证方面提供一种有力的工具。

Research on Model Checking of Petri Nets Based on Linear Temporal Logic

基于线性 时态 逻辑的Petri网模型检测研究

Model Checking Web Services Based on Temporal Logic of Knowledge

基于 时态认知 逻辑的Web服务模型检测

Study on Migrating Instance Run-Time Security Based on Temporal Logic

基于 时态 逻辑的迁移实例运行时安全研究

Behavior modeling method based on LCTL ( linear colored temporal logic ) is put forward three different models of action activity and behavior are built and an example is presented .

提出了基于线性赋色 时态 逻辑的行为建模方法，分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用。

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL .

定义了稠密时间区间 时序 逻辑，它是区间时序 逻辑的一种实时扩充。

In a temporal logic statements can have a truth value which can vary in time .

在 时序 逻辑，报表可以有真值，可以在不同的时间。

A Method of the Description and Refinement of Real-time System of Selling Tickets Based on Temporal Logic

一种基于 时序 逻辑 语言的实时售票系统描述与精化方法

And that 's because of the temporal logic that 's how the logic of time works .

那是因为 时序 逻辑，时间的逻辑就是这样运作的。

Model checking is a formal method for verifying the temporal logic properties of finite state systems .

模型检测是一种验证有限状态系统的 时序 逻辑属性的形式化方法。

The systems are usually described by the timed automata and the properties are specified by the temporal logic .

这类系统通常用时间自动机来表示，而它们的性质则用 时序 逻辑公式表示。

Temporal logic always has the ability to reason about a time line .

时序 逻辑总是有能力原因时限。

Research on Open Temporal Logic Based Formal Verification and Modular Reasoning of Aspect-Oriented Programs

基于开放 时态 逻辑的面向方面程序形式化验证和模块推理研究

A new model for mining multiple time series based on temporal logic

基于 时态 逻辑的多时间序列挖掘模型

Description and Refinement of Distributed Real-time Software Architecture Based on Temporal Logic Language

基于 时序 逻辑语言的分布式实时软件体系结构描述与精化

Temporal Logic Approach on Modeling and Analysis of Workflow with Process Algebra Style

一种进程代数风格的基于 时序 逻辑的工作流建模方法

He constructed several software development environments using the tools that included a set of hierarchical languages based upon temporal logic .

他使用包括一组基于 时间 逻辑的分等级语言的工具建立了若干软件开发环境。

Verification of business process constraints based on temporal logic

基于 时序 逻辑的业务过程约束建模及验证