HiFrog: SMT-based Function Summarization for Software Verification
Additional information
Authors
Sharygina N.,
Alt L.,
Asadi S.,
Chockler H.,
Even-Mendoza K.,
Fedyukovich G.,
Hyvärinen A.
Type
Article in conference proceedings
Year
2017
Language
English
Meeting name
23rd TACAS 2017
Meeting place
Uppsala, Sweden
Meeting date
April 22-29, 2017
