Rajkumar Gajavelly

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 1

Top Topics

Chinese Text Retrieval

Top Venues

Formal Methods Syst. Des.

Publications

Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
Symbolic trajectory evaluation for word-level verification: theory and implementation. Formal Methods Syst. Des. 50 (2-3) (2017)
Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
Word-Level Symbolic Trajectory Evaluation. CAV (2) (2015)
Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
Word-level Symbolic Trajectory Evaluation. CoRR (2015)