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]
@inproceedings{AsadiBHFS20-0,
title = {Incremental Verification by SMT-based Summary Repair},
author = {Sepideh Asadi and Martin Blicha and Antti E. J. Hyvärinen and Grigory Fedyukovich and Natasha Sharygina},
year = {2020},
doi = {10.34727/2020/isbn.978-3-85448-042-6_14},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_14},
researchr = {https://researchr.org/publication/AsadiBHFS20-0},
cites = {0},
citedby = {0},
pages = {77-82},
booktitle = {2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020},
publisher = {IEEE},
isbn = {978-3-85448-042-6},
}