TLA Toolbox
1.7.1TLA Toolbox: 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.
Download Details
-
License:
Freeware
-
Platform:
Windows
- Publisher:
-
File size:
173.00 Mb
-
Updated:
Feb 03, 2022
-
User Rating:
0 / 5 (0 votes)
-
Editors' Review:
Not yet reviewed
-
Downloads:
2,616
Similar software
76 / 6,521
Zend Studio 13.6.1
A PHP integrated development environment designed to make your development work easier
38 / 2,876
75 / 7,803
20 / 1,530
BOUML 7.11
A programming application that lets you write plug-outs using Java, C++, IDL, PHP, Python and MySQL
22 / 2,018
55 / 4,355