Harsh Bhargava

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Formal Verification

Iterative Deepening

Bounded Model Checking

Admissible Heuristics

Top Venues

Publications

Vineesh V. S., Binod Kumar, Rushikesh Shinde, Akshay Jaiswal, Harsh Bhargava, Virendra Singh
Orion: A Technique to Prune State Space Search Directions for Guidance-Based Formal Verification. ATS (2019)