论文研究命题μ演算局部模型检测高效算法设计.pdf

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