Craig插值相关论文
软件已经成为国防建设和国计民生的重要组成部分。然而,随着软件技术的快速发展,软件的规模越来越大,复杂度越来越高,软件安全问题......
Craig插值是用于模型检测中抽象精化的一种高效方法，而不同类型的插值对模型检测器的性能有不同的促进作用：有的使其收敛，有的使其发......
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一......
LIUF和LDEs理论是理论插值中的两个热点研究理论。以这两种理论为背景理论的插值在可满足性模理论(SMT)问题上有十分重要的应用。L......
