ctl

/K T AH0 L/
noun
  1. 1

    Initialism of computation tree logic. [(computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".]

  2. 2

    Initialism of complex text layout.