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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

Automatic model checking can be employed to verify that security properties are fulfilled by a system model. However, since…

2011

This paper describes the design and implementation of a library of reusable UPPAAL template processes which support reasoning and…

2009

In order to scale with modern processors, planning algorithms must become multi-threaded. In this paper, we present parallel…

2008

In this paper, we provide a logic for digital investigation of security incidents and its high level-specification language. The…

2006

Control Theory researchers have been using DEVS models to formalize discrete event systems for a long time [1] but, despite such…

2006

2003

TLA + is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems…

1999

We used the specification language TLA+ to analyze the correctness of two cache-coherence protocols for shared-memory…

1999

TLA (the Temporal Logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. We define a…

1997

This paper presents a series of TLA+ specification/implementations that lead to an implementation of the retransmission policy of…