TLA+ Foundation

Goals of the Foundation

The TLA+ Foundation (TLAF) is an independent, non-profit organization dedicated to fostering the adoption of the TLA+ specification language in industry, academia, and education, guided by the overall goal of advancing the mathematical thinking in software engineering. The TLAF funds development related to TLA+ to broaden its use and facilitate a thriving TLA+ community, encouraging cooperation among members of that community.

See the TLA+ Foundation Charter and the TLA+ Technical Charter for more details.

The values of the Foundation

The core principles guide the actions of the foundation:

Press Release

The TLA+ Foundation’s launch press release can be found here.


The TLA+ Foundation would not exist without the support of the Member organizations listed below. If your company or organization is interested in joining as a Member, please begin the process here.

AWS Logo Microsoft Logo Oracle Logo

Copyright © 2023 The Linux Foundation®. All rights reserved. The Linux Foundation has registered trademarks and uses trademarks. For a list of trademarks of The Linux Foundation, please see our Trademark Usage page. Linux is a registered trademark of Linus Torvalds. Terms of Use Privacy Policy Bylaws Antitrust Policy Good Standing Policy