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 142 topics
Contract an TLAPLUS fl 6:24 AM
Symmetry and Liveness Y2i 1:41 AM
TLC fingerprint value already on disk dohan 12:20 AM
TLAPS and string search algorithms Andrew Helwer 5/19/15
JVM Arguments Y2i 5/19/15
New support policy -- please respond: Leslie Lamport 5/15/15
unexpected print output Y2i 5/14/15
Toolbox 1.5.0 release candidates Markus Alexander Kuppe 5/12/15
TLA+ graphic design Andrew Helwer 5/12/15
Toolbox running under Java 1.8 5/11/15
pluscal overhead Y2i 5/7/15
Availability of foundation modules with SciPy and NumPy capability Ian Wilkinson 5/5/15
Stuttering state when fairness specified Chen Fu 4/30/15
Why Amazon Chose TLA+ Chris Newcombe 4/30/15
TLA+ wikipedia article Andrew Helwer 4/27/15
Hyperbook section 4.6: suggested clarification 4/26/15
Can not edit "What is the model" and "What is the behavior spec?" Chen Fu 4/24/15
(TLAPS) ptl_to_trp source code? Gianluca Guida 4/22/15
Resolved: TLA toolbox crash/segfault complaining of libsoup on Linux Gad Amir 4/19/15
Sets and arrays fl 4/18/15
More topics »