Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic (2020)

First Author: Takamasa Okudono
Attributed to:  Vulnerability Discovery using Abduction and Interpolation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://kar.kent.ac.uk/80188/

Type: Conference/Paper/Proceeding/Abstract