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,629
Similar software
devFlowcharter 10.7.0.46
Efficent and easy to use assistant for creation and compiling of programming code
106 / 11,957
Cocos Creator 2.4.3
A powerful game development environment based on the open source Cocos2d framework
24 / 1,453
121 / 10,791
6 / 848
22 / 4,726
Medley 0.2.1
A polished Electron-based application that lets you save your code snippets, code blocks, to-do lists and other types of notes
15 / 1,648