SAFARI: SMT-based Abstraction For Arrays with Interpolants
Additional information
Authors
Alberti F.,
Bruttomesso R.,
Ranise S.,
Sharygina N.
Type
Article in conference proceedings
Year
2012
Language
English
Conference proceedings
24th International Conference on Computer Aided Verification (CAV)
Publisher
Springer
Meeting place
Berkeley, California, USA
