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 271 topics
LTL axiomatic system fl 9/26/16
Standards and TLAPLUS fl 9/23/16
[Dr. TLA+ Series] Global Snapshot - Rustan Leino Cheng Huang 9/22/16
TLA+ community event 2016 Stephan Merz 9/20/16
RandomElement fails with TLC bug Werner Grift 9/15/16
PrintT behaviour Werner Grift 9/15/16
[Dr. TLA+ Series] Fast Paxos - Cheng Huang (Monday, August 29th, 10-11:30am PDT) Cheng Huang 9/7/16
C0 and TLAPLUS fl 9/6/16
Curious oddity fl 9/4/16
A site fl 9/3/16
Experimenting with PlusCal / TLA+ at Dropbox Elliott Jin 8/25/16
Jumping to end of process in PlusCal? Elliott Jin 8/6/16
TLA+ Video Course Leslie Lamport 7/28/16
Any examples of a specification of an S3-like object store API? Steve Loughran 7/27/16
Next-state involving existential quantifier using PlusCal? Elliott Jin 7/25/16
Ethereum Heist Ron Pressler 7/23/16
[Dr. TLA+ Series] Raft - Jin Li (Thursday, July 21st, 10-11:30am PDT) Cheng Huang 7/22/16
Mixing TLA+ and SOS Behrooz Nobakht 7/18/16
specify some action eventually will never happen Gao Neal 7/14/16
[Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT) Cheng Huang 7/14/16
More topics »