Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina. Incremental Verification by SMT-based Summary Repair. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 77-82, IEEE, 2020. [doi]
Abstract is missing.