命题时态逻辑相关硕士博士期刊学术论文 - 搜论网

命题时态逻辑相关论文

一种基于时态逻辑的有限状态系统验证方法

LPTL(Linear Proposition Temporal Logic)与自动机之间有着紧密的联系,结合LPTL语义和语法,提出一种从LPTL公式导出Bchi自动机的......

期刊

命题时态逻辑 Bchi自动机形式化验证

分划扩充命题时态逻辑关于stutter不变性的特征定理

分划扩充命题时态逻辑通过加入分划算子P1,1,增强了经典命题时态逻辑的表达能力.本文就该扩充逻辑关于stutter不变性的研究,给出了......

期刊

命题时态逻辑特征定理分划表达能力扩充逻辑不变性质实现过程状态空间算法效率模型检测 T算子归约 Partition logic EPTL

看过本文同时还关注