命题线性时序逻辑(Propositional Linear Temporal Logic)
专用工具属性规范表示法也具有类似的问题,属性表示法通常能够是CTL、CTL*或命题线性时序逻辑(PLTL)的变形。某些需要验证的属性很难以至根本不可能用该表示法进行描述。
基于50个网页-相关网页
...程序推理方法 可达性 的应用 – 流程图程序 部分正确 程序推理方法 – 结构化程序 完全正确 的特点 模型检测 – 基于路径(PLTL) 模型检测方法 – 基于状态(CTL) 的应用 模型检测方法 的特点 17 推理验证 一阶迁移系统 – 程序推理规则 – 线性时序逻辑推理...
基于8个网页-相关网页