SAFARI: SMT-Based Abstraction for Arrays with Interpolants.

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

Browse the full CAV paper archive.