Incremental Verification by SMT-based Summary Repair

TitleIncremental Verification by SMT-based Summary Repair
Publication TypeConference Paper
Year of Publication2020
AuthorsAsadi, Sepideh, Blicha Martin, Hyvärinen Antti E. J., Fedyukovich Grigory, and Sharygina Natasha
Conference Name20th conference on FORMAL METHODS in COMPUTER-AIDED DESIGN – FMCAD 2020
PublisherIEEE digital library
ISBN Number978-3-85448-042-6
URLhttp://verify.inf.usi.ch/sites/default/files/upprover-fmcad20.pdf
Full Text