Abstraction and Acceleration in SMT-based Model-Checking for Array Programs

TitleAbstraction and Acceleration in SMT-based Model-Checking for Array Programs
Publication TypeJournal Article
Year of Publication2013
AuthorsAlberti, Francesco, Ghilardi S., and Sharygina Natasha
JournalCoRR
VolumeApril 2013
Full Text