8 citations · 10 across the 5 of their papers we have counts for
1 paper · 1 filter
Anushri Jana, Uday P. Khedker, Advaita Datar +2
Bounded Model Checking is one the most successful techniques for finding bugs in program. However, model checkers are resource hungry and are often unable to verify programs with l…