Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.

Javier Esparza, Stefan Kiefer, Stefan Schwoon

Browse the full TACAS paper archive.