Download TLA+ Tools from Official Microsoft Download Center

Internet Explorer 11 has retired as of June 15, 2022

If any site you visit needs Internet Explorer (IE), you can reload it with IE mode in the faster, more modern Microsoft Edge browser.

Get started with Microsoft Edge

Power BI

Transform data into actionable insights with dashboards and reports

LEARN MORE

TLA+ Tools

Important! Selecting a language below will dynamically change the complete page content to that language.

Language:

English

Download

DirectX End-User Runtime Web Installer

The TLA+ tool kit contains a) a parser and syntax checker for TLA+ specifications; b) a model checker and simulator for a subclass of "executable" TLA+ specifications; c) a program for typesetting TLA+ specifications; and d) a +Cal to TLA+ translator. Last published: February 28, 2013.