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 383 topics
How to terminate or explicitly set a pc to "done" in pluscal Jose Ayerdis 10/19/17
TLA+ Toolbox 1.5.4 release Markus Alexander Kuppe 10/19/17
Analysis: Runway, a new formal specification system Andrew Helwer 10/18/17
Why Amazon Chose TLA+ Chris Newcombe 10/15/17
Using TLA+ for data modeling Chris Newcombe 10/13/17
Exclusive-Or operator? Andrew Helwer 10/11/17
Trouble Running Toolbox on macOS Sierra Daniel Gregoire 10/6/17
Very Newbie question - thanks in advance for pointing out my error Pete Mastin 10/4/17
DieHarder3 alternative solutions (new user) 10/4/17
NFM 2018: 2nd Call for Papers (extended deadlines) Jasmin Blanchette 10/4/17
Broken link for TLAPS for MacOS Kapil Agarwal 10/3/17
Failed to produce PDF using Toolbox 1.5.3 Kapil Agarwal 10/2/17
Failed to run TLA+ Toolbox 1.5.3 on Mac OS El Capitan Kapil Agarwal 10/2/17
Table of Contents in Specifying Systems PDF Jack Fox 10/2/17
Easy and fun introduction to TLA+ for children? 10/2/17
Missing error trace on invariant violation Lorin Hochstein 10/1/17
Formatting ASCII text Nick Radonic 10/1/17
New to TLA - problem running model Paul Viney 9/30/17
Asserting an action leads to another action as a property Ross Yu 9/25/17
Project Ideas using TLA+ for my semester Project 9/20/17
More topics »