Scaling Bounded Model Checking by Transforming Programs with Arrays.

Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C

Browse the full LOPSTR paper archive.