Accelerated Bounded Model Checking Using Interpolation Based Summaries.

Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy

Browse the full TACAS paper archive.