Booster: An Acceleration-Based Verification Framework for Array Programs.

Francesco Alberti, Silvio Ghilardi, Natasha Sharygina

Browse the full ATVA paper archive.