Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
Alloy (specification language)Amazon Elastic Block StoreB-MethodBreadth-first search

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
The Horcrux Protocol: A Method for Decentralized Biometric-based Self-sovereign Identity
Most user authentication methods and identity proving systems rely on a centralized database. Such information storage presents a… 
2015
2015
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms
Distributed algorithms have numerous mission-critical applications in embedded avionic and automotive systems, cloud computing… 
Highly Cited
2014
Highly Cited
2014
Why Amazon Chose TLA +
Since 2011, engineers at Amazon have been using TLA+ to help solve difficult design problems in critical systems. This paper… 
Highly Cited
2008
Highly Cited
2008
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
Dynamic verification methods are the natural choice for debugging real world programs when model extraction and maintenance are… 
2008
2008
A Formal Approach for the Reconstruction of Potential Attack Scenarios
In this paper, we provide a logic for digital investigation of security incidents and its high level-specification language. The… 
Highly Cited
2006
Highly Cited
2006
Efficient and decentralized PageRank approximation in a peer-to-peer web search network
PageRank-style (PR) link analyses are a cornerstone of Web search engines and Web mining, but they are computationally expensive… 
2003
2003
On the Logic of TLA+
TLA + is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems… 
Highly Cited
2003
Highly Cited
2003
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative… 
Highly Cited
2002
Highly Cited
2002
Risk-Based Approach to Mission-Critical Software Testing
81 S ystematic Software Testing, Rick D. Craig and Stefan P. Jaskiel. This book offers those involved in building and maintaining… 
Highly Cited
1992
Highly Cited
1992
Hybrid Systems in TLA+
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for… 
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)