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]
Abstract is missing.