tlaplus

Contact owners and managers
1–30 of 1523
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.