TLA+

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. Wikipedia

Created Year: 1999
Designed by: Leslie Lamport
Aliases: TLA⁺

Wikidata: Q28955120