Categories
Mac

TLA+ Toolbox 1.5

Free An IDE (integrated development environment) for the TLA+ tools.
Rating
Your vote:
Latest version:
1.5.2 See all
Developer:
Review Comments Questions & Answers
Download
Free   83.6 MB
Open source
Used by 2 people
Edit app info
Info updated on:
Mac Informer Mac Informer
Discover macOS apps and get updates in one click

The TLA Toolbox is an IDE (integrated development environment) for the TLA tools. You can use it to:
- 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.

Share your experience:
Write a review about this app

Screenshot (1)

Comments

User

Your vote:

Comment via Facebook

Recent downloads

Latest updates