Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta
Over-approximating loops to prove properties using bounded model checking
DATE, 2015.
@inproceedings{DATE-2015-DarkeCVSM,
acmid = "2757139",
author = "Priyanka Darke and Bharti Chimdyalwar and R. Venkatesh and Ulka Shrotri and Ravindra Metta",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "1407--1412",
publisher = "{ACM}",
title = "{Over-approximating loops to prove properties using bounded model checking}",
year = 2015,
}