Over-approximating loops to prove properties using bounded model checking

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta. Over-approximating loops to prove properties using bounded model checking. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 1407-1412, ACM, 2015. [doi]

@inproceedings{DarkeCVSM15,
  title = {Over-approximating loops to prove properties using bounded model checking},
  author = {Priyanka Darke and Bharti Chimdyalwar and R. Venkatesh and Ulka Shrotri and Ravindra Metta},
  year = {2015},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7092611},
  researchr = {https://researchr.org/publication/DarkeCVSM15},
  cites = {0},
  citedby = {0},
  pages = {1407-1412},
  booktitle = {Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015},
  editor = {Wolfgang Nebel and David Atienza},
  publisher = {ACM},
  isbn = {978-3-9815370-4-8},
}