活动的依赖用计算树逻辑(Computation Tree Logic,CTL)指定。调度程序通过将这些依赖转换为自动机,确保被调度的事件顺序能够被所有的rJ动机接受。
基于42个网页-相关网页
UML软件工程组织 。 现在的问题在于,我们究竟该如何描述执行树状结构路径(及路径上的状态)的属性。从技术的角度看,运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支,其简单性和直观性非常适合于
基于16个网页-相关网页
... 性时态逻辑(LinearTemporalLogic,LTL),类似的,具有分支时间结构的时态逻 辑,称为分支时态逻辑(Computation Tree Logic,CTL)。
基于4个网页-相关网页
时序逻辑分为线性时序逻辑(Linear-time TemporalLogic,LTL) 和分支时序逻辑(Computation Tree Logic,CTL)。
基于4个网页-相关网页
Probabilistic Computation Tree Logic 概率计算树逻辑 ; 和概率计算树逻辑
Computation tree logic CTL 计算树逻辑CTL
time computation tree logic 时间计算树逻辑
This paper introduces the past temporal operators into computation tree logic(CTL),and obtains a new specification language CTLP which is more expressive than CTL.
在计算树逻辑(CTL)中引入过去时态算子,得到了表达力更强的属性规约语言CTLP,给出了CTLP的模型检测算法及其固定点刻画。
参考来源 - 具有过去时态算子的计算树逻辑模型检测 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐