computation tree logic

Noun

 * 1)  A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".

Synonyms

 * (less common)