TLA Toolbox

Name: TLA Toolbox
Works on: windows

Windows 7 and above

Version: 1.5
Last Updated: 14 Apr 2017
Release: 29 Jul 2016
Category: Programming > Other Programming Files

Rate this software:
830 downloads

View Screenshots(27)

Comments

Download

Liked it? Tell others:

TLA Toolbox Tags

TLA+ language create TLA specification IDE parsing error TLA specification toolset toolkit

TLA Toolbox Details

Works on: Windows 10 | Windows 8.1 | Windows 8 | Windows 7 | Windows 2012
File Format: zip

SHA1 Hash 32bit version: 5457da3b854db70f21b9fd5bbf36914d7d089c60
Size 32bit version: 88 MB

SHA1 Hash 64bit version: 1b0b9669a99e3055c787fa75224aa50199c6bca2
Size 64bit version: 88.03 MB

Rating: 2.0 out of 5 based on 23 user ratings

Publisher Website: External Link
Downloads: 830
License: Free

TLA Toolbox is a free software by Microsoft Research and works on Windows 10, Windows 8.1, Windows 8, Windows 7, Windows 2012.
You can download TLA Toolbox which is 88 MB in size and belongs to the software category Other Programming Files.
TLA Toolbox was released on 2016-07-29 and last updated on our database on 2017-04-14 and is currently at version 1.5.
We also have TLA Toolbox 64bit version which is 88.03 MB in size and will work on x64 computers.

Thank you for downloading from SoftPaz! Your download should start any moment now. It would be great if you could rate and share:

Rate this software:

Share in your network:

TLA Toolbox Description

Create and edit your specs, with the locations of parsing errors marked in the modules.
Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code.
View the printed versions of your modules.
Run the TLC model checker.