Asadi, Sepideh; Blicha, Martin; Hyvärinen, Antti E. J.; Fedyukovich, Grigory; Sharygina, Natasha SMT-based verification of program changes through summary repair. (English) Zbl 07757154 Form. Methods Syst. Des. 60, No. 3, 350-380 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{S. Asadi} et al., Form. Methods Syst. Des. 60, No. 3, 350--380 (2022; Zbl 07757154) Full Text: DOI OA License
Asadi, Sepideh; Blicha, Martin; Hyvärinen, Antti; Fedyukovich, Grigory; Sharygina, Natasha Farkas-based tree interpolation. (English) Zbl 1474.68321 Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 357-379 (2020). MSC: 68T20 03B70 03C40 68Q60 PDFBibTeX XMLCite \textit{S. Asadi} et al., Lect. Notes Comput. Sci. 12389, 357--379 (2020; Zbl 1474.68321) Full Text: DOI
Jančík, Pavel; Kofroň, Jan; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E. J.; Sharygina, Natasha Exploiting partial variable assignment in interpolation-based model checking. (English) Zbl 1425.68257 Form. Methods Syst. Des. 55, No. 1, 33-71 (2019). MSC: 68Q60 03C40 68T20 PDFBibTeX XMLCite \textit{P. Jančík} et al., Form. Methods Syst. Des. 55, No. 1, 33--71 (2019; Zbl 1425.68257) Full Text: DOI
Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha Decision procedures for flat array properties. (English) Zbl 1356.03049 J. Autom. Reasoning 54, No. 4, 327-352 (2015). MSC: 03B25 03B35 68P05 68T15 PDFBibTeX XMLCite \textit{F. Alberti} et al., J. Autom. Reasoning 54, No. 4, 327--352 (2015; Zbl 1356.03049) Full Text: DOI Link
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha An extension of lazy abstraction with interpolation for programs with arrays. (English) Zbl 1317.68107 Form. Methods Syst. Des. 45, No. 1, 63-109 (2014). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{F. Alberti} et al., Form. Methods Syst. Des. 45, No. 1, 63--109 (2014; Zbl 1317.68107) Full Text: DOI Link
Rollini, Simone Fulvio; Bruttomesso, Roberto; Sharygina, Natasha; Tsitovich, Aliaksei Resolution proof transformation for compression and interpolation. (English) Zbl 1317.68123 Form. Methods Syst. Des. 45, No. 1, 1-41 (2014). MSC: 68Q60 03C40 03F20 68T15 PDFBibTeX XMLCite \textit{S. F. Rollini} et al., Form. Methods Syst. Des. 45, No. 1, 1--41 (2014; Zbl 1317.68123) Full Text: DOI arXiv
Chaki, Sagar; Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant Verification of evolving software via component substitutability analysis. (English) Zbl 1147.68047 Form. Methods Syst. Des. 32, No. 3, 235-266 (2008). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{S. Chaki} et al., Form. Methods Syst. Des. 32, No. 3, 235--266 (2008; Zbl 1147.68047) Full Text: DOI Link