Formal Methods Wiki
Advertisement

TLA (Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems, developed by Leslie Lamport.

External links[]

Advertisement