1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2016★ 1 cited
Scaling Bounded Model Checking By Transforming Programs With Arrays
Anushri Jana, Uday P. Khedker, Advaita Datar +2
Bounded Model Checking is one the most successful techniques for finding bugs in program. However, for programs with loops iterating over large-sized arrays, bounded model checkers…
cs.LO2016
Scaling Bounded Model Checking By Transforming Programs With Arrays
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…