Craig插值相关硕士博士期刊学术论文 - 搜论网

Craig插值相关论文

基于插值和CEGAR的模型检测方法研究与实现

软件已经成为国防建设和国计民生的重要组成部分。然而,随着软件技术的快速发展,软件的规模越来越大,复杂度越来越高,软件安全问题......

学位

模型检测 CEGAR Craig插值抽象模型

Craig插值的抽象边界的搜索算法研究

Craig插值是用于模型检测中抽象精化的一种高效方法，而不同类型的插值对模型检测器的性能有不同的促进作用：有的使其收敛，有的使其发......

学位

Craig插值抽象边界抽象格估价函数模型检测启发式搜索算法

看过本文同时还关注