Linear temporal logic

Known as: Propositional temporal logic, LTL logic, LTL formula 
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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1977-2017
05010015019772017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
We consider the following problem: given a linear system and a linear temporal logic (LTL) formula over a set of linear… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2007
2007
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular… (More)
  • figure 1
Is this relevant?
2005
2005
We investigate logical consequence in temporal logics in terms of logical consecutions, i.e. inference rules. First, we discuss… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper considers the specification-based testing in which the requirement is given in the linear temporal logic (LTL). The… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to a correctness… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper we describe the ForSpec Temporal Logic (FTL), the new temporal property-specification logic of ForSpec, Intel’s new… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We improve the state-of-the-art algorithm for obtaining an automaton from a linear temporal logic formula. The automaton is… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We present a tableau-based construction for obtaining an automaton from a temporal logic formula in an “on-the-fly” fashion. That… (More)
  • figure 2
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
The differences between and appropriateness of branching versus linear time temporal logic for reasoning about concurrent… (More)
  • figure 2
  • figure 4
  • figure 6
Is this relevant?