2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Liyun Dai, Bican Xia, Naijun Zhan
Interpolation-based techniques have been widely and successfully applied in the verification of hardware and software, e.g., in bounded-model check- ing, CEGAR, SMT, etc., whose ha…