TLA+ Tools

Language:
English
The TLA+ tool kit contains a) a parser and syntax checker for TLA+ specifications; b) a model checker and simulator for a subclass of "executable" TLA+ specifications; c) a program for typesetting TLA+ specifications; and d) a +Cal to TLA+ translator. Last published: February 28, 2013.
  • Version:

    2.1.5

    File Name:

    tla.zip

    Date Published:

    5/12/2016

    File Size:

    3.3 MB

      The TLA+ tool kit contains a) a parser and syntax checker for TLA+ specifications; b) a model checker and simulator for a subclass of "executable" TLA+ specifications; c) a program for typesetting TLA+ specifications; and d) a +Cal to TLA+ translator.
  • Supported Operating System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit