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

克雷格插值相关论文

基于克雷格插值的反例理解方法

针对错误原因提取效率低的问题，提出一种利用克雷格插值对模型检测器产生的反例进行自动理解的方法．该方法首先从反例失效状态出发推......

期刊

模型检测反例反例理解最弱前置条件克雷格插值 model checking counterexample understanding counterexa

基于懒惰切片的模型检测技术研究

随着信息技术的飞速发展，各种软硬件系统已经渗透进了社会生产、生活的各个环节，这些系统正在深刻的影响和改变着整个人类社会的运作......

学位

模型检测不动点计算懒惰切片过近似切片克雷格插值

看过本文同时还关注