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 285 topics
Rigid and flexible variables fl 12/2/16
[Dr. TLA+ Series] Flexible Paxos - Heidi Howard Cheng Huang 11/28/16
TLA+ for beginners Abay Kozhabergenov 11/25/16
Nondeterminism and equivalence Ron Pressler 11/20/16
TLA+ Video Course Leslie Lamport 11/19/16
TLA+ community event 2016 Stephan Merz 11/18/16
Eventual action 11/9/16
Vim plugin for TLA+ Hillel Wayne 11/8/16
Understanding AsynchInterface Guilherme C 11/5/16
Temporal property 11/4/16
operator `\sim_x' as defined in erratum differs from TOPLAS Ioannis Filippidis 11/1/16
Specify Non deterministic specification Mr. Gogo 10/30/16
TLA+ and pluscal BNF grammars Nasser Ali 10/17/16
Idiomatically verifying state does not change Hillel Wayne 10/5/16
Newcomer Questions kacem belout 10/4/16
mathematics versus reality Leslie Lamport 9/29/16
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
RandomElement fails with TLC bug Werner Grift 9/15/16
More topics »