What does computation tree logic mean?

Definitions for computation tree logic
com·pu·ta·tion tree log·ic

This dictionary definitions page includes all the possible meanings, example usage and translations of the word computation tree logic.

Wiktionary

  1. computation tree logicnoun

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

Wikipedia

  1. Computation tree logic

    Computation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realized. It is used in formal verification of software or hardware artifacts, typically by software applications known as model checkers, which determine if a given artifact possesses safety or liveness properties. For example, CTL can specify that when some initial condition is satisfied (e.g., all program variables are positive or no cars on a highway straddle two lanes), then all possible executions of a program avoid some undesirable condition (e.g., dividing a number by zero or two cars colliding on a highway). In this example, the safety property could be verified by a model checker that explores all possible transitions out of program states satisfying the initial condition and ensures that all such executions satisfy the property. Computation tree logic belongs to a class of temporal logics that includes linear temporal logic (LTL). Although there are properties expressible only in CTL and properties expressible only in LTL, all properties expressible in either logic can also be expressed in CTL*. CTL was first proposed by Edmund M. Clarke and E. Allen Emerson in 1981, who used it to synthesize so-called synchronisation skeletons, i.e abstractions of concurrent programs.

How to pronounce computation tree logic?

How to say computation tree logic in sign language?

Numerology

  1. Chaldean Numerology

    The numerical value of computation tree logic in Chaldean Numerology is: 2

  2. Pythagorean Numerology

    The numerical value of computation tree logic in Pythagorean Numerology is: 7


Translations for computation tree logic

From our Multilingual Translation Dictionary

Get even more translations for computation tree logic »

Translation

Find a translation for the computation tree logic definition in other languages:

Select another language:

  • - Select -
  • 简体中文 (Chinese - Simplified)
  • 繁體中文 (Chinese - Traditional)
  • Español (Spanish)
  • Esperanto (Esperanto)
  • 日本語 (Japanese)
  • Português (Portuguese)
  • Deutsch (German)
  • العربية (Arabic)
  • Français (French)
  • Русский (Russian)
  • ಕನ್ನಡ (Kannada)
  • 한국어 (Korean)
  • עברית (Hebrew)
  • Gaeilge (Irish)
  • Українська (Ukrainian)
  • اردو (Urdu)
  • Magyar (Hungarian)
  • मानक हिन्दी (Hindi)
  • Indonesia (Indonesian)
  • Italiano (Italian)
  • தமிழ் (Tamil)
  • Türkçe (Turkish)
  • తెలుగు (Telugu)
  • ภาษาไทย (Thai)
  • Tiếng Việt (Vietnamese)
  • Čeština (Czech)
  • Polski (Polish)
  • Bahasa Indonesia (Indonesian)
  • Românește (Romanian)
  • Nederlands (Dutch)
  • Ελληνικά (Greek)
  • Latinum (Latin)
  • Svenska (Swedish)
  • Dansk (Danish)
  • Suomi (Finnish)
  • فارسی (Persian)
  • ייִדיש (Yiddish)
  • հայերեն (Armenian)
  • Norsk (Norwegian)
  • English (English)

Word of the Day

Would you like us to send you a FREE new word definition delivered to your inbox daily?

Please enter your email address:


Citation

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

Style:MLAChicagoAPA

"computation tree logic." Definitions.net. STANDS4 LLC, 2024. Web. 28 Mar. 2024. <https://www.definitions.net/definition/computation+tree+logic>.

Discuss these computation tree logic definitions with the community:

0 Comments

    Are we missing a good definition for computation tree logic? Don't keep it to yourself...

    Free, no signup required:

    Add to Chrome

    Get instant definitions for any word that hits you anywhere on the web!

    Free, no signup required:

    Add to Firefox

    Get instant definitions for any word that hits you anywhere on the web!

    Browse Definitions.net

    Quiz

    Are you a words master?

    »
    a diacritical mark (-) placed above a vowel to indicate a long sound
    A collation
    B macron
    C schlockmeister
    D flapper

    Nearby & related entries:

    Alternative searches for computation tree logic: