computation tree logic

短语

别名

CTL

释义与例句

n.
  1. 1.

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

    不可数 计算机 工程 数学