Booster: An Acceleration-Based Verification Framework for Array Programs
Additional information
Authors
Sharygina N.,
Alberti F.,
Ghilardi S.
Type
Article in conference proceedings
Year
2014
Language
English
Meeting name
12th ATVA 2014
Meeting place
Sydney, NSW, Australia
Meeting date
November 3-7, 2014
