Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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.


Date Published28 February 2013
Download Size3.31 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.