Home >  Term: CTL
CTL

A propositional, branching-time temporal logic for which formulas can be checked in linear time. An acronym for Computation Tree Logic.

CTL differs from CTL* in that in CTL path quantifiers (E and A) always appear with temporal operators (F, G, X, U, etc.). Therefore CTL formulas are state formulas.

0 0

Creator

  • GeorgeV
  •  (Gold) 1123 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.