Craig插值相关论文
软件已经成为国防建设和国计民生的重要组成部分。然而,随着软件技术的快速发展,软件的规模越来越大,复杂度越来越高,软件安全问题......
Craig插值是用于模型检测中抽象精化的一种高效方法，而不同类型的插值对模型检测器的性能有不同的促进作用：有的使其收敛，有的使其发......
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一......
基于模型诊断（MBD）的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定......
