TLA Toolbox 1.7.0
An integrated development environment for writing and checking TLA+ specifications.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 Toolbox is the IDE that was designed in order to allow you to use the TLC model checker and TLAPS as well as the TLA+ proof system to create and verify TLA+ specifications.
TLA Toolbox Download Information
Apr 21, 2020
0 / 5 (0 votes)
Not yet reviewed
Dotfuscator Professional Edition 6.1.0
Secure your .NET apps against intellectual property theft, tampering, and reverse engineering
6 / 8,688
AMC Presentation Wizard 9.0a.2
Create interactive, multimedia presentations.
8 / 3,966
A capable desktop client that lets you easily open, explore, modify GitHub projects, and publish the changes to the website
9 / 2,344
CatLight 2.34.2 Beta
A lightweight application that lets you monitor the status of AppVeyor, Jenkins, Team Foundation Server and Visual Studio Team Services builds
10 / 2,511
Model SQL statements with this library.
23 / 2,953
Enables experienced users to investigate Exchange and Outlook issues
26 / 1,695