20 citations · 34 across the 10 of their papers we have counts for
1 paper · 2 filters
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…