Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav Efficient SAT-based bounded model checking for software verification. (English) Zbl 1293.68079 Theor. Comput. Sci. 404, No. 3, 256-274 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{F. Ivančić} et al., Theor. Comput. Sci. 404, No. 3, 256--274 (2008; Zbl 1293.68079) Full Text: DOI
Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti Deciding separation logic formulae by SAT and incremental negative cycle elimination. (English) Zbl 1143.68583 Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 322-336 (2005). MSC: 68T15 03B35 03B70 68Q60 PDFBibTeX XMLCite \textit{C. Wang} et al., Lect. Notes Comput. Sci. 3835, 322--336 (2005; Zbl 1143.68583) Full Text: DOI
Ivančić, F.; Yang, Z.; Ganai, M. K.; Gupta, A.; Shlyakhter, I.; Ashar, P. F-Soft: Software verification platform. (English) Zbl 1081.68581 Etessami, Kousha (ed.) et al., Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27231-3/pbk). Lecture Notes in Computer Science 3576, 301-306 (2005). MSC: 68N99 68Q60 PDFBibTeX XMLCite \textit{F. Ivančić} et al., Lect. Notes Comput. Sci. 3576, 301--306 (2005; Zbl 1081.68581) Full Text: DOI
Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K. Localization and register sharing for predicate abstraction. (English) Zbl 1087.68593 Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 397-412 (2005). MSC: 68Q60 PDFBibTeX XMLCite \textit{H. Jain} et al., Lect. Notes Comput. Sci. 3440, 397--412 (2005; Zbl 1087.68593) Full Text: DOI