LRA Interpolants from No Man's Land
Haifa Verification Conference, pp. 195-210, 2017.
Interpolation is becoming a standard technique for over-approximating state spaces in software model checking with Satisfiability Modulo Theories (SMT). In particular when modelling programs with linear arithmetics, the standard state-of-the-art technique might provide either interpolants that are too specific or too generic to be useful ...More
Full Text (Upload PDF)
PPT (Upload PPT)