Incremental Upgrade Checking by Means of Interpolation-based Function Summaries
Additional information
Authors
Sery O.,
Fedyukovich G.,
Sharygina N.
Type
Article in conference proceedings
Year
2012
Language
English
Conference proceedings
Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD)
Meeting place
Cambridge, UK
