Lazy Abstraction with Interpolants for Arrays.

Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina

Browse the full LPAR paper archive.