局部模型检测相关论文
命题μ-演算局部模型检测算法中，目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测......
从二支决策和三支决策角度探讨命题μ-演算的局部模型检测算法,对计算过程中节点迭代值的存储方式进行分析,并对这两个局部模型检......
随着计算机软件系统、硬件系统的发展,系统也变得越来越复杂,因此设法保证系统的正确性和可靠性变得越来越重要。为此,许多学者投......
