What does CTL mean in Unclassified?

This page is about the meanings of the acronym/abbreviation/shorthand CTL in the Miscellaneous field in general and in the Unclassified terminology in particular.

Computation Tree Logic

Miscellaneous » Unclassified


Find a translation for CTL in other languages:

Select another language:


What does CTL mean?

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

see more on Definitions.net»

Discuss this CTL abbreviation with the community:


Use the citation below to add this abbreviation to your bibliography:


"CTL." Abbreviations.com. STANDS4 LLC, 2015. Web. 2 Jul 2015. <http://www.abbreviations.com/term/79706>.