Download TLA Toolbox

TLA Toolbox 1.6.1

Downloading file: TLAToolbox-1.5.5-win32.win32.x86.zip (162.00 Mb)
Review 0 Screenshots

No review

No Video
Please select a download mirror: External Mirror 1 External Mirror (64 bit)

An integrated development environment for writing and checking TLA+ specifications. TLA+ is a specification language that is designed to help in the creation of high-level specifications for both distributed and concurrent systems. TLA...full software details

If you encounter any problems in accessing the download mirrors for TLA Toolbox, please check your firewall settings or close your download manager.

TLA Toolbox is offered as a free download

Faster PC? Get Advanced SystemCare and optimize your PC.

Support Information
TLA Toolbox support is available ONLY from its developer Microsoft Research.
Popular in Other
Google Map GPS Cell Phone Tracker 5.1.4
Track a GPS enabled cell phone on Google maps
82 / 130,127
Microsoft Visio Viewer 2013
Viewer for Visio diagrams and drawings
5 / 14,941
Arduino 1.8.10
A robust IDE that enables you to write code and upload it to an Arduino board to test it
79 / 9,767
TortoiseSVN 1.12.0.28568
A Subversion client
9 / 9,582
devFlowcharter 8.1
Efficent and easy to use assistant for creation and compiling of programming code
19 / 9,077
Dotfuscator Professional Edition 4.43.2
Secure your .NET apps against intellectual property theft, tampering, and reverse engineering
145 / 8,457
Mercurial 5.3
Command line application
7 / 7,689
GeographicLib 1.50.1
Easy conversion of geographic calculations
14 / 7,459
Vagrant 2.2.7
Easy Virtualized Development
41 / 6,874
Calibre 4.13
Comprehensive management for e-book libraries
3 / 6,249