Scaling Bounded Model Checking by Transforming Programs with Arrays. - Anushri Jana; Uday P. Khedker; Advaita Datar; R. Venkatesh 001; Niyas C (LOPSTR, 2016)