slider button

< Browse > Home / Archive by category 'Featured'

| RSS | Twitter

TLA+ Workshop at FM 2012

International Workshop on the TLA+ Method and Tools http://tla2012.loria.fr/ August 27, 2012 Paris, France (co-located with FM 2012) The TLA+ workshop is a forum for practitioners and researchers interested in the use and further development of the TLA+ specification language and its associated tools. Presentations of academic or industrial developments based on TLA+ or PlusCal, [...]

[ More ] March 25th, 2012 | No Comments | Posted in Featured |

Toolbox Version 1.3.1 Released

The major change is PlusCal Version 1.5, which allows specification of an algorithm’s fairness properties. There have also been a number of minor bug fixes.

[ More ] April 5th, 2011 | No Comments | Posted in Featured, PlusCal, Tools |

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 models [...]

[ More ] February 10th, 2010 | 2 Comments | Posted in Featured, TLA+, Tools |

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, [...]

[ More ] August 11th, 2009 | 1 Comment | Posted in Featured, Projects |

Command Line Switches

This tutorial describes the command line switches accepted by the console-based TLA+ Tools: SANY, TLC, and the PlusCal Translator. Most users will run the tools from the Toolbox, in which case the switches for SANY and TLC are irrelevant. When running the Toolbox, command line switches for the PlusCal translator can be provided in a [...]

[ More ] August 4th, 2009 | 5 Comments | Posted in Featured, Tools, Tutorials |

How to install TLA+ Tools

This tutorial provides a description of the installation procedure of the console-based version of TLA+ Tools. Separate directions for completing the installation on Windows and on Unix are provided.

[ More ] August 3rd, 2009 | 1 Comment | Posted in Featured, Tools, Tutorials |