Proving unreachability using bounded model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ulka Shrotri, R. Venkatesh, Ravindra Metta. Proving unreachability using bounded model checking. In Srinivas Padmanabhuni, Sanjeev K. Aggarwal, Umesh Bellur, editors, Proceeding of the 3rd Annual India Software Engineering Conference, ISEC 2010, Mysore, India, February 25-27, 2010. pages 73-82, ACM, 2010. [doi]

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

runs on WebDSL