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 242 topics
TLA in InfoQ article Matt Singletary 5/24/16
Using TLA+ for data modeling Chris Newcombe 5/22/16
TLC and RealTime Chris Pacejo 5/21/16
Robin Milner Space and Motion of Communicating Agents Frank Colcord 5/16/16
introducing "Dr. TLA+ Series" Cheng Huang 5/14/16
modeling resets Brian 5/12/16
Very simple question by TLA newcomer Petar Vukmirovic 5/8/16
Why Amazon Chose TLA+ Chris Newcombe 5/8/16
TLA Toolbox: installation problem Dr. Tianxiang Lu 5/4/16
Attempted to construct a set with too many elements (>1000000). jarjuk 4/25/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
More topics »