Introduction

The TLA+ Toolbox and the TLA+ Tools have been released as an open-source project, under the MIT License. The source code is available on CodePlex. The executable files for the Toolbox are available from a new site accessible by a link on the Toolbox's web page. The stand-alone versions of the TLA+ Tools can be obtained through a new link on the TLA+ Tools web page.

Usage

People

1. Murat Demirbas, instructor.

References

1. http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html