Definition
A formal language for precisely describing concurrent systems and checking them for bugs.
A formal specification language developed by Leslie Lamport for describing and verifying concurrent and distributed systems, paired with the TLC model checker.
Also called: TLC