A Configurable CEGAR Framework with Interpolation-Based Refinements.

kos Hajdu, Tams Tth, Andrs Vrs, Istvn Majzik

Browse the full FORTE paper archive.