@inproceedings{8013a4b2d13a4868b79916ac9185e7b9,
title = "Booster: An acceleration-based verification framework for array programs*",
abstract = "We present Booster, a new framework developed for verifiying programs handling arrays. Booster integrates new acceleration features with standard verification techniques, like Lazy Abstraction with Interpolants (extended to arrays). The new acceleration features are the key for scaling-up in the verification of programs with arrays, allowing Booster to efficiently generate required quantified safe inductive invariants attesting the safety of the input code.",
author = "Francesco Alberti and Silvio Ghilardi and Natasha Sharygina",
year = "2014",
language = "English",
isbn = "9783319119359",
volume = "8837",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "18--23",
booktitle = "Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Proceedings",
note = "12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014 ; Conference date: 03-11-2014 Through 07-11-2014",
}