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.

Details

TypeDownload
File Nametla.zip
Version2.1.5
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.