TLA file extension - The Temporal Logic of Actions data
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.