English Dictionary

computation tree logic

名詞

不可算名詞

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

日本語の意味

計算木論理：分岐時間を扱う特殊な様相論理であり、『次』、『全体』、『最終（または最終的に）』、『until』、『weak until』などのオペレーターを用いて、システムの状態遷移などを形式的に表現する論理体系

Researchers used computation tree logic to verify that the distributed protocol would eventually reach consensus along every possible execution path.

研究者たちは、計算木論理（分岐時間の特定のモーダル論理で「次」「常に」「最終的に／やがて」「until」「弱いuntil」といった演算子を持つ）を用いて、分散プロトコルがあらゆる可能な実行経路で最終的に合意に達することを検証した。

意味（1）

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