Verification of Programs by Combining Iterated Specialization with Interpolation

Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas +1

We present a verification technique for program safety that combines Iterated Specialization and Interpolating Horn Clause Solving. Our new method composes together these two techn…