计算树逻辑-一流百科

计算树逻辑

计算树逻辑计算树逻辑（CTL）是一种分支时间逻辑，意味着它的时间模型是一个树状结构，其中未来是不确定的；未来有不同的路径，其中任何一条都可能是实现的实...