What is TLA? Well, ... TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems. It is the basis for TLA+, a complete specification language. More info can be found at Microsoft's Research Page.
This tool is an IDE (integrated development environment) for the TLA language, with features like:
- ability to run TLA files
- autocomplete
- TEX, DVI and PDF generation via TLA and MikTeX
- option for reading settings from CLASSPATH variable
- error localization from compilation/execution output
