Download TLA Toolbox: Linux 64-bit from Official Microsoft Download Center

Warning: This site requires the use of scripts, which your browser does not currently allow.See how to enable scripts

Surface Pro

The most versatile laptop

Important! Selecting a language below will dynamically change the complete page content to that language.

Language:

English

Download

DirectX End-User Runtime Web Installer

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