Interpolation-based Function Summaries in Bounded Model Checking
Additional information
Authors
Sery O.,
Fedyukovich G.,
Sharygina N.
Type
Article in conference proceedings
Year
2011
Language
English
Conference proceedings
Haifa Verification Conference (HVC)
Publisher
Springer
Meeting place
Haifa, Israel
