An extension of lazy abstraction with interpolation for programs with arrays

TitleAn extension of lazy abstraction with interpolation for programs with arrays
Publication TypeJournal Article
Year of Publication2014
AuthorsAlberti, Francesco, Bruttomesso R., Ghilardi S., Ranise S., and Sharygina Natasha
JournalFMSD
ISSN1572-8102
KeywordsArray programs, Lazy abstraction, Model checking, SMT
DOI10.1007/s10703-014-0209-9
Full Text