TLA Toolbox 1.5.3
An integrated development environment for writing and checking TLA specifications
An integrated development environment for writing and checking TLA specifications
ADVERTISING
Software Specs
Publisher:............ Microsoft Research
License:............... Freeware
File size:.............. 90726.4 MB
Downloads:.........
Release date:...... 14 Mar 2013
Last update:........ 11 May 2017
Publisher review for TLA Toolbox 1.5.3:
Review by: Microsoft Research
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.
Requirements:
Operating system:
Windows 7 / 8 / 10
TLA Toolbox download tags:
TLA language TLA toolkit TLA toolbox toolset
Copyright information:
SPONSORED LINKS
Rate this software
TLA Toolbox
Based on 0 ratings. 0 user reviews.
Based on 0 ratings. 0 user reviews.