TLA+ is a formal language for specifying systems used in industry and academia to verify complex distributed and concurrent systems. Some examples of the successful use of TLA+ in industry are documented here. TLA+ is governed by the TLA+ Foundation.
Annual TLA+ Community Events are organized in order to bring together industrial and academic users of the TLA+ specification language and its associated tools. Occasional TLA+ Conferences are organized with a stronger focus on the use of TLA+ in industry.
TLA+ Community Events and Conferences agree with and follow the Linux Foundation’s Code of Conduct!