TLA+

TLA+ (pronounced as tee ell a plus, /ˈtiː ɛl eɪ plʌs/) is a formal specification language developed by Leslie Lamport. It is used to design, model… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Since 2011, engineers at Amazon have been using TLA+ to help solve difficult design problems in critical systems. This paper… (More)
  • figure 1
Is this relevant?
2012
2012
TLA is a specification language based on standard set theory and temporal logic that has constructs for hierarchical proofs. We… (More)
  • figure 1
Is this relevant?
2012
2012
TLA+ is a language based on Zermelo-Fraenkel set theory and linear temporal logic designed for specifying and verifying… (More)
  • figure 1
Is this relevant?
2003
2003
TLA+ is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2003
2003
We have a great deal of experience using the specification language TLA and its model checker TLC to analyze protocols designed… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
TLA is a specification language for concurrent and reactive systems that combines the temporal logic TLA with full first-order… (More)
Is this relevant?
1999
1999
We used the specification language TLA+ to analyze the correctness of two cache-coherence protocols for shared-memory… (More)
Is this relevant?
1999
1999
TLA (the Temporal Logic of Actions) is a linear temporal logi c for specifying and reasoning about reactive systems. We define a… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1992
Highly Cited
1992
TLA is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?