Efficient SAT-based bounded model checking for software verification
Ivančić, Franjo, Yang, Zijiang, Ganai, Malay K., Gupta, Aarti, Ashar, Pranav
Published in Theoretical computer science (28.09.2008)
Published in Theoretical computer science (28.09.2008)
Get full text
Journal Article
Conference Proceeding
Sat-based verification methods and applications in hardware verification
Get full text
Conference Proceeding
Circuit-based Boolean Reasoning
Kuehlmann, Andreas, Ganai, Malay K., Paruthi, Viresh
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)
Get full text
Conference Proceeding
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver
Ganai, Malay K., Ashar, Pranav, Gupta, Aarti, Zhang, Lintao, Malik, Sharad
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA; 10-14 June 2002 (10.06.2002)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA; 10-14 June 2002 (10.06.2002)
Get full text
Conference Proceeding
Localization and Register Sharing for Predicate Abstraction
Jain, Himanshu, Ivančić, Franjo, Gupta, Aarti, Ganai, Malay K.
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver
Ganai, Malay K, Talupur, Muralidhar, Gupta, Aarti
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems
Get full text
Book Chapter
Conference Proceeding
Verification of Embedded Memory Systems using Efficient Memory Modeling
Ganai, Malay K., Gupta, Aarti, Ashar, Pranav
Published in Design, Automation and Test in Europe (07.03.2005)
Published in Design, Automation and Test in Europe (07.03.2005)
Get full text
Conference Proceeding
Efficient BMC for Multi-Clock Systems with Clocked Specifications
Ganai, Malay K, Gupta, Aarti
Published in 2007 Asia and South Pacific Design Automation Conference (01.01.2007)
Published in 2007 Asia and South Pacific Design Automation Conference (01.01.2007)
Get full text
Conference Proceeding
Scalable and precise symbolic analysis for atomicity violations
Ganai, Malay K.
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Get full text
Conference Proceeding
Efficient SAT-based unbounded symbolic model checking using circuit cofactoring
Ganai, M. K., Gupta, A., Ashar, P.
Published in IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 (01.01.2004)
Published in IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 (01.01.2004)
Get full text
Conference Proceeding
Improved SAT-based Bounded Reachability Analysis
Ganai, Malay K., Aziz, Adnan
Published in Proceedings of the 2002 Asia and South Pacific Design Automation Conference (07.01.2002)
Published in Proceedings of the 2002 Asia and South Pacific Design Automation Conference (07.01.2002)
Get full text
Conference Proceeding