README.md

TLA+

(Up) | Wikipedia: TLA+ | See also: Formal Specification, Model Checking

Works regarding the specification language TLA+ and its underlying logic.

Web resources

The TLA+ Home Page ★

Learn TLA+ --- Learn TLA+ ★

Practical TLA+ by Hillel Wayne ★

A liveness example in TLA+ -- Surfing Complexity ★★

Repositories

tlaplus/PlusPy: Python interpreter for TLA+ specifications ★★ 💭

Papers

The Temporal Logic of Actions 🏛️ 💭

(in Software Engineering) Use of Formal Methods at Amazon Web Services (online @ lamport.azurewebsites.net) ★★★ 💭