Over-approximating loops to prove properties using bounded model checking.

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta

Browse the full DATE paper archive.