Title | FunFrog: Bounded Model Checking with Interpolation-based Function Summarization |
Publication Type | Conference Paper |
Year of Publication | 2012 |
Authors | Sery, O., Fedyukovich Grigory, and Sharygina Natasha |
Conference Name | Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA) |
Conference Location | Thiruvananthapuram, India |
Full Text |