可能的Kripke结构相关论文
为讨论可能的计算树逻辑（PoCTL）与计算树逻辑（CTL）的关系,给出PoCTL公式与CTL公式等价的概念,利用公式的等价性证明了CTL是PoCTL的一个......
提出了基于可能性测度的计算树逻辑CTL＊（PoCTL＊）的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。......
分布式模型检测是一种缓解状态空间爆炸的有效途径,已有文献提出了定性的分布式模型验证算法,然而定量LTL验证算法并行化问题还未......
模型检测是一种很重要的自动验证技术.1981年,由Clarke和Emerson以及Quielle和Sifakis最早提出,它主要通过状态搜索或不动点计算来......
首先，提出了可能的Kripke结构的定义，建立了可能的Kripke结构的可能性测度空间，并分析了可能的Kripke结构的一系列性质，即任一路径转移......
