Skip to content
Snippets Groups Projects
Select Git revision
  • 108628a6a7a2e3c011e4e50a0f33600e58f49bfc
  • master default protected
  • towards_1.8.0
  • updateTLC
  • 1.1.0-stups
  • 1.0.2-stups
  • 1.0.1-stups
  • 1.0.0-stups
8 results

tlatools

  • Open with
  • Download source code
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

  • user avatar
    dgelessus authored
    108628a6
    History
    user avatar 108628a6

    TLA+ Tools

    Build Status

    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