Skip to search formSkip to main contentSkip to account menu

Linear temporal logic

Known as: Propositional temporal logic, LTL logic, PTL 
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can… 
Wikipedia (opens in a new tab)

Related topics

Related topics

32 relations
Action languageAlternating-time Temporal LogicBüchi automatonCTL*

Broader (1)

Temporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Execution Trace Analysis Using LTL-FO ^+
We explore of use of the tool BeepBeep, a monitor for the temporal logic LTL-FO\(^+\), in interpreting assembly traces, focusing… 
2014
2014
Advances in Model-Driven Security
2008
2008
Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning
The Vehicle Routing Problem (VRP) and several of its variants have been used as an algorithmic basis for mission planning and… 
2008
2008
An Efficient Solution for Model Checking Graph Transformation Systems
2007
2007
Can a Model Checker Generate Tests for Non-Deterministic Systems?
2004
2004
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to… 
2002
2002
An Extension of OCL with Temporal Logic
. UML class diagrams are widely used to model the static structure of object-oriented software systems. As a supplement, OCL… 
2002
2002
Mapping Modular SOS to Rewriting Logic
Modular SOS (MSOS) is a framework created to improve the modularity of structural operational semantics specifications, a… 
1995
1995
A v-Calculus with Local Views for Systems of Sequential Agents
We present ΝTrTL, a (partial order) logic based on “local” next operators and fixpoint definitions. It extends Thiagarajan's… 
Review
1989
Review
1989
Using Temporal Logic for Automatic Verification of Finite State Systems
Temporal logic has been extensively investigated for proving properties of programs-particularly for programs that involve… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)