This is a discussion group for users of the TLA+ specification language, the PlusCal algorithm language, and their associated tools.
To find out about the languages and tools, see The TLA Home Page 
Posts by non-members are moderated.
We encourage you to join the group.

Showing 1-20 of 295 topics
Is TLA+ still useful if your implementation language is a purely functional one, like Haskell? George Singer 1/16/17
Documents about IDE protocol Jihui Zheng 1/16/17
Installing TLA+ Toolbox 1.5.2 on MacOS Murali Kaundinya 1/13/17
Why is this an invalid TLA formula? George Singer 1/11/17
Toolbox buggy with GTK3 on Debian testing Giuliano 1/10/17
Initialization of local variables in PlusCal Giuliano 1/9/17
Difficulties using TLA+ Toolbox 1/5/17
TLAPS and primitive-recursive functions Andrew Helwer 12/25/16
About single process system, fairness, and depth-first search option 12/20/16
Announcing Sbuilder - a tool to generate TLA+ model for business IT systems jarjuk 12/12/16
pluscal, tla+ and tekker algorithm Kai Tsching 12/10/16
Rigid and flexible variables fl 12/2/16
[Dr. TLA+ Series] Flexible Paxos - Heidi Howard Cheng Huang 11/28/16
TLA+ for beginners Abay Kozhabergenov 11/25/16
Nondeterminism and equivalence Ron Pressler 11/20/16
TLA+ Video Course Leslie Lamport 11/19/16
TLA+ community event 2016 Stephan Merz 11/18/16
Eventual action 11/9/16
Vim plugin for TLA+ Hillel Wayne 11/8/16
Understanding AsynchInterface Guilherme C 11/5/16
More topics »