TLA file extension - The Temporal Logic of Actions file
What is tla file? How to open tla files?
File type specification:
The TLA file extension is associated with the Temporal Logic of Actions, a logic for specifying and reasoning about concurrent and reactive systems. It is the basis for TLA+, a complete specification language.