researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

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…