Error message

Strict warning: Only variables should be passed by reference in theme_biblio_tabular() (line 285 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).

FunFrog: Bounded Model Checking with Interpolation-based Function Summarization

TitleFunFrog: Bounded Model Checking with Interpolation-based Function Summarization
Publication TypeConference Paper
Year of Publication2012
AuthorsSery, O., Fedyukovich Grigory, and Sharygina Natasha
Conference NameTenth International Symposium on Automated Technology for Verification and Analysis (ATVA)
Conference LocationThiruvananthapuram, India
Full Text