Raj Kumar Gajavelly

According to our database, Raj Kumar Gajavelly authored at least 7 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together.

Devleena Ghosh, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran

ACM Trans. Design Autom. Electr. Syst., 2024

2023

Harnessing Multiple BMC Engines Together for Efficient Formal Verification.

Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

2019

Input Elimination Transformations for Scalable Verification and Trace Reconstruction.

Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2017

Symbolic trajectory evaluation for word-level verification: theory and implementation.

Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry

Formal Methods Syst. Des., 2017

2016

The art of semi-formal bug hunting.

Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2015

Word-Level Symbolic Trajectory Evaluation.

Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Effective Liveness Verification Using a Transformation-Based Framework.

Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman

Proceedings of the 2014 27th International Conference on VLSI Design, 2014