Download TLA+ Tools from Official Microsoft Download Center

Hands type on a Surface Pro 6 with Type Cover

Surface Pro 6

Stand out from the ordinary

Person using Power BI Desktop

Power BI

Transform data into actionable insights with dashboards and reports

TLA+ Tools

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

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.