Incremental Verification by SMT-based Summary Repair
Additional information
Authors
Sharygina N.,
Asadi S.,
Blicha M.,
Hyvärinen A.,
Fedyukovich G.
Type
Article in conference proceedings
Year
2020
Language
English
Meeting name
20th FMCAD 2020
Meeting place
Haifa, Israel
Meeting date
September 21-24, 2020
