Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets

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…