Download TLA+ Tools from Official Microsoft Download Center

A Surface Pro

Surface Pro

The most versatile laptop

TLA+ Tools

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.