![](/img/cover-not-exists.png)
[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - Over-Approximating Loops to Prove Properties using Bounded Model Checking
Darke, Priyanka, Chimdyalwar, Bharti, Venkatesh, R., Shrotri, Ulka, Metta, RavindraYear:
2015
Language:
english
DOI:
10.7873/date.2015.0245
File:
PDF, 131 KB
english, 2015