Acceleration-based safety decision procedure for programs with arrays.

Francesco Alberti, Silvio Ghilardi, Natasha Sharygina

Browse the full LPAR paper archive.