Publications:
- UpProver: Incremental Verification by SMT-based Summary Repair, Sepideh Asadi, Martin Blicha, Antti Hyvarinen, Grigory Fedyukovich, and Natasha Sharygina, FMCAD 2020 (Supplemental Material, PDF, slides, 5-minutes-video, video)
- Farkas-Based Tree Interpolation, Sepideh Asadi, Martin Blicha, Antti Hyvarinen, Grigory Fedyukovich, and Natasha Sharygina, SAS 2020 (Supplemental Material, PDF, slides, video)
