Coming soon: TLA+ Toolbox
There are various tools available for the TLA+ specification language and PlusCal algorithm language, as described in the Tools section in more detail. An additional tool is coming soon: the TLA+ Toolbox.
Tools and Methodologies for Formal Specifications and for Proofs
There are a number of existing tools for working on TLA+ specifications, the most important of which is the TLC model-checker. Although the proof side of TLA+ is not well-developed yet, with no proof tools and an incomplete definition of the proof language, TLA+ has already proved its worth in significant projects in hardware design, [...]
TLA Toolbox Released
There are various tools available for the TLA+ specification language and PlusCal algorithm language, as described in the TLA Tools section in more detail. These command-line tools are now integrated in a full-featured IDE, called the TLA Toolbox, for writing and debugging TLA+ specifications and PlusCal algorithms. It combines editors for specifications and TLC [...]
Tools and Methodologies for Formal Specifications and for Proofs
There are a number of existing tools for working on TLA+ specifications, the most important of which is the TLC model-checker. Although the proof side of TLA+ is not well-developed yet, with no proof tools and an incomplete definition of the proof language, TLA+ has already proved its worth in significant projects in hardware design, [...]
Command Line Switches
This tutorial describes the command line switches accepted by the console-based TLA+ Tools: SANY, TLC, and PlusCal Translator.
The command line switches are detected, by the fact that they begin with a ‘-’ character. Once the first command line element that is not a switch is encountered, the rest are presumed to be file names.
Recent Post
Popular Post
- Getting Started (8146 views)
- Command Line Switches (6665 views)
- TLA Toolbox (5087 views)
- Tools and Methodologies for Formal Specifications and for Proofs (2522 views)
- Discussions (2454 views)
- Coming soon: TLA+ Toolbox (1954 views)
- Books (1796 views)
- PlusCal (1789 views)
- TLA+ (1753 views)
- Teaching (1673 views)