论文部分内容阅读
命题μ-演算局部模型检测算法中，目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测算法的计算过程进行分析，得到迭代计算的中间迭代值间满足的一组偏序关系，然后利用该偏序关系设计了一个局部模型检测算法，算法时间复杂度的指数部分为d2，大大提高了算法的计算效率。