Seghir, Mohamed Nassim A lightweight approach for loop summarization. (English) Zbl 1348.68150 Bultan, Tevfik (ed.) et al., Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11–14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24371-4/pbk). Lecture Notes in Computer Science 6996, 351-365 (2011). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. N. Seghir}, Lect. Notes Comput. Sci. 6996, 351--365 (2011; Zbl 1348.68150) Full Text: DOI OpenURL
Seghir, Mohamed Nassim An assume guarantee approach for checking quantified array assertions. (English) Zbl 1308.68047 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 226-235 (2011). MSC: 68N30 PDF BibTeX XML Cite \textit{M. N. Seghir}, Lect. Notes Comput. Sci. 6486, 226--235 (2011; Zbl 1308.68047) Full Text: DOI OpenURL
Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas Abstraction refinement for quantified array assertions. (English) Zbl 1248.68151 Palsberg, Jens (ed.) et al., Static analysis. 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03236-3/pbk). Lecture Notes in Computer Science 5673, 3-18 (2009). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{M. N. Seghir} et al., Lect. Notes Comput. Sci. 5673, 3--18 (2009; Zbl 1248.68151) Full Text: DOI Link OpenURL