Microsoft Download Center Archive

TLA Toolbox: Linux 64-bit

  • Published:
  • Version: 1.4.5
  • Category: other
  • Language: English

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

An integrated development environment for writing and checking TLA+ specifications.

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.

System Requirements

Operating Systems: Linux

  • Linux

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
Report a problem