computation tree logic

English - English

Definition of computation tree logic in English English dictionary

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

CTL

Hyphenation

com·pu·ta·tion Tree log·ic

Turkish pronunciation

kämpyıteyşın tri läcîk

Synonyms

computational tree logic, ctl

Pronunciation

/ˌkämpyəˈtāsʜən ˈtrē ˈläʤək/ /ˌkɑːmpjəˈteɪʃən ˈtriː ˈlɑːʤɪk/