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 236 topics
TLA Toolbox: installation problem Dr. Tianxiang Lu 12:37 AM
Why Amazon Chose TLA+ Chris Newcombe 5/2/16
Attempted to construct a set with too many elements (>1000000). jarjuk 4/25/16
Very simple question by TLA newcomer Petar Vukmirovic 4/23/16
Scripting the Toolbox Simon Hudon 4/18/16
Message Passing Asynchronous BFS Or Tamir 4/15/16
TLC Deadlock on simple spec. Justin Scott 4/13/16
TLC: NoSuchElementException on checkpoint restore Jaak Ristioja 4/11/16
TLC model Checker is not working 4/9/16
An optimization of "Learning a Chosen Value" for 3 acceptors? Jianjun Zheng 4/6/16
TLA+Tools and Toolbox contributions Markus Alexander Kuppe 4/1/16
Unicode Ron Pressler 3/30/16
Microsoft Open Source Challenge Stephan Merz 3/24/16
2016 TLA+ Workshop Leslie Lamport 3/22/16
Hyperbook single PDF? dabd 3/9/16
Element-wise sum of a set of finite sequences bongiovanni francesco 3/3/16
Announcing Sbuilder - a tool to generate TLA+ model for business IT systems jarjuk 3/3/16
alternative spec. langs compiling to TLA+ 2/15/16
Correctness of refinement mapping Ron Pressler 2/12/16
problem in verifying liveness properties Amira Methni 2/4/16
More topics »