cid 7ca75c6633d2648f252718af8a8149e968fa015ae7d8e3ef794acb75bac440a8 · original · open access · via wikipedia
Title: TLA+ Authors: Venue: Wikipedia Year: unknown Canonical: wiki:tla URL: https://en.wikipedia.org/wiki/TLA+ Collector: wikipedia OA: true ABSTRACT TLA+ is a formal specification language developed by Leslie Lamport. It is used for designing, modelling, documentation, and verification of programs, especially concurrent systems and distributed systems. TLA+ is considered to be exhaustively-testable pseudocode, and its use likened to drawing blueprints for software systems; TLA is an acronym for Temporal Logic of Actions.