Skip to content
Snippets Groups Projects
Commit 372f53ca authored by Jens Bendisposto's avatar Jens Bendisposto
Browse files

Create README.md

parent 86babc4a
Branches
Tags
No related merge requests found
#TLA+ Tools
[![Build Status](https://travis-ci.org/hhu-stups/tlatools.svg)](https://travis-ci.org/hhu-stups/tlatools)
Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox,
an IDE for writing specifications and running tools to check them.
This CodePlex site hosts the source code for the TLA+ Toolbox and TLA+ Tools.
The executable versions of the code are available for download through a link on the
TLA+ web site at research.microsoft.com/en-us/um/people/lamport/tla/tla.html,
under the same M.I.T. license with which the source code has been released.
The TLAPS proof system can be downloaded from http://tla.msr-inria.inria.fr/tlaps/content/Home.html.
For information about TLA+, visit the TLA+ web site.
Last edited Jul 29, 2013 at 7:26 PM by lamport, version 7
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment