TLA Toolbox: Linux 32-bit

Language:
English
An integrated development environment for writing and checking TLA+ specifications. Last published: February 28, 2013.
  • Version:

    1.4.5

    File Name:

    TLAToolbox-1.4.5-linux.gtk.x86.zip

    Date Published:

    5/12/2016

    File Size:

    48.7 MB

      An integrated development environment for writing and checking TLA+ specifications.
  • Supported Operating System

    Linux

      • Linux
      • 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