Abstraction and Acceleration in SMT-based Model-Checking for Array Programs
Additional information
Authors
Alberti F.,
Sharygina N.
Type
Journal Article
Year
2013
Language
English
Journal
CoRR
Volume
abs/1304.4499
Pages (or article number)
1-18
