Accelerated Bounded Model Checking Using Interpolation Based Summaries. - Mayank Solanki; Prantik Chatterjee; Akash Lal; Subhajit Roy 001 (TACAS (2), 2024)