Over-approximating loops to prove properties using bounded model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Priyanka Darke' in GoogleThis author has not been identified. Look up 'Bharti Chimdyalwar' in GoogleThis author has not been identified. Look up 'R. Venkatesh' in GoogleThis author has not been identified. Look up 'Ulka Shrotri' in GoogleThis author has not been identified. Look up 'Ravindra Metta' in Google

runs on WebDSL