1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Hao Wu, Jie Wang, Bican Xia +3
Interpolation-based techniques become popular in recent years, as they can improve the scalability of existing verification techniques due to their inherent modularity and local re…