FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization.

Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina

Browse the full ATVA paper archive.