LRA Interpolants from No Man's Land

Haifa Verification Conference, pp. 195-210, 2017.

Cited by: 1|Bibtex|Views4|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments