Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti Symbolic predictive analysis for concurrent programs. (English) Zbl 1242.68187 Formal Asp. Comput. 23, No. 6, 781-805 (2011). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{C. Wang} et al., Formal Asp. Comput. 23, No. 6, 781--805 (2011; Zbl 1242.68187) Full Text: DOI
Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti Trace-based symbolic analysis for atomicity violations. (English) Zbl 1284.68418 Esparza, Javier (ed.) et al., Tools and algorithms for the construction and analysis of systems. 16th international conference, TACAS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12001-5/pbk). Lecture Notes in Computer Science 6015, 328-342 (2010). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Wang} et al., Lect. Notes Comput. Sci. 6015, 328--342 (2010; Zbl 1284.68418) Full Text: DOI
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
Ganai, Malay; Gupta, Aarti SAT-based scalable formal verification solutions. (English) Zbl 1138.68037 Series on Integrated Circuits and Systems. New York, NY: Springer (ISBN 978-0-387-69166-4/hbk). xxix, 326 p. (2007). MSC: 68Q60 68T20 68-01 PDFBibTeX XMLCite \textit{M. Ganai} and \textit{A. Gupta}, SAT-based scalable formal verification solutions. New York, NY: Springer (2007; Zbl 1138.68037) Full Text: DOI
Ganai, Malay K.; Talupur, Muralidhar; Gupta, Aarti SDSAT: Tight integration of small domain encoding and lazy approaches in solving difference logic. (English) Zbl 1129.68081 J. Satisf. Boolean Model. Comput. 3, No. 1-2, 91-114 (2007). MSC: 68T20 68T27 PDFBibTeX XMLCite \textit{M. K. Ganai} et al., J. Satisf. Boolean Model. Comput. 3, No. 1--2, 91--114 (2007; Zbl 1129.68081)
Gupta, Aarti; Ganai, Malay K.; Wang, Chao SAT-based verification methods and applications in hardware verification. (English) Zbl 1182.68119 Bernardo, Marco (ed.) et al., Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22–27, 2006. Advanced lectures. Berlin: Springer (ISBN 3-540-34304-0/pbk). Lecture Notes in Computer Science 3965, 108-143 (2006). MSC: 68Q60 68M07 PDFBibTeX XMLCite \textit{A. Gupta} et al., Lect. Notes Comput. Sci. 3965, 108--143 (2006; Zbl 1182.68119) Full Text: DOI
Ganai, Malay K; Talupur, Muralidhar; Gupta, Aarti SDSAT: Tight integration of small domain encoding and lazy approaches in a separation logic solver. (English) Zbl 1180.68241 Hermanns, Holger (ed.) et al., Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 – April 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33056-9/pbk). Lecture Notes in Computer Science 3920, 135-150 (2006). MSC: 68T15 03B70 68T27 PDFBibTeX XMLCite \textit{M. K Ganai} et al., Lect. Notes Comput. Sci. 3920, 135--150 (2006; Zbl 1180.68241) 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
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav DiVer: SAT-based model checking platform for verifying large scale systems. (English) Zbl 1087.68588 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, 575-580 (2005). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. K. Ganai} et al., Lect. Notes Comput. Sci. 3440, 575--580 (2005; Zbl 1087.68588) 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
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav Efficient modeling of embedded memories in bounded model checking. (English) Zbl 1103.68615 Alur, Rajeev (ed.) et al., Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22342-8/pbk). Lecture Notes in Computer Science 3114, 440-452 (2004). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. K. Ganai} et al., Lect. Notes Comput. Sci. 3114, 440--452 (2004; Zbl 1103.68615) Full Text: DOI
Ganai, Malay K; Gupta, Aarti; Yang, Zijiang; Ashar, Pranav Efficient distributed SAT and SAT-based distributed bounded model checking. (English) Zbl 1179.68084 Geist, Daniel (ed.) et al., Correct hardware design and verification methods. 12th IFIP WG 10. 5 advanced research working conference, CHARME 2003, L’Aquila, Italy, October 21–24, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20363-X/pbk). Lect. Notes Comput. Sci. 2860, 334-347 (2003). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. K Ganai} et al., Lect. Notes Comput. Sci. 2860, 334--347 (2003; Zbl 1179.68084) Full Text: DOI