FunFrog: Bounded Model Checking with Interpolation-based Function Summarization
Additional information
Authors
Sery O.,
Fedyukovich G.,
Sharygina N.
Type
Article in conference proceedings
Year
2012
Language
English
Conference proceedings
Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA)
Meeting place
Thiruvananthapuram, India
