LINKED LIST [txt mode] ▸ Learn TLA+

home explore | log in

Learn TLA+

learntla.com · first added by @afreshcup · 2026-09-30 · 2 upvotes

log in to save, upvote or flag this.

─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

* What Should We Do to Prevent Software From Failing? (from the discussion)

* Correctness — the paradigm for sustainable software development (from the discussion)

─── Discussions ────────────────────────────────────────

* Learn TLA+ (2018)

310 pts · 58 comments · node

─── From the discussion ────────────────────────────────

* The TLA+ Video Course by Leslie Lamport

lamport.azurewebsites.net · node

* https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf

lamport.azurewebsites.net · node

* Shows - Event & Video Content

channel9.msdn.com · node

* Finding bugs in systems through formalization - Superficial Reflections

andy.hammerhartes.de · node

* Using TLA+ to understand Xen vchan - Thomas Leonard's blog

roscidus.com · node

─── Related hn threads ─────────────────────────────────

* Learn TLA+ (2018)

387 pts · 92 comments · node