Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic.

Takamasa Okudono, Andy King

Browse the full TACAS paper archive.