README.md

TLA+

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

Web resources

The TLA+ Home Page ★

Learn TLA+ --- Learn TLA+ ★

Practical TLA+ by Hillel Wayne ★

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) ★★★ 💭