Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha A new acceleration-based combination framework for array properties. (English) Zbl 1471.68232 Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 169-185 (2015). MSC: 68T20 03B25 PDFBibTeX XMLCite \textit{F. Alberti} et al., Lect. Notes Comput. Sci. 9322, 169--185 (2015; Zbl 1471.68232) 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
Hyvärinen, Antti E. J.; Marescotti, Matteo; Sharygina, Natasha Search-space partitioning for parallelizing SMT solvers. (English) Zbl 1471.68244 Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 369-386 (2015). MSC: 68T20 68V15 68W10 PDFBibTeX XMLCite \textit{A. E. J. Hyvärinen} et al., Lect. Notes Comput. Sci. 9340, 369--386 (2015; Zbl 1471.68244) Full Text: DOI
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