git @ Cat's Eye Technologies The-Glosscubator / master by-topic / TLA(plus)
master

Tree @master (Download .tar.gz)

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

History of by-topic / TLA(plus) @master git clone https://git.catseye.tc/The-Glosscubator/