Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer. Stepping forward with interpolants in unbounded model checking. In Soha Hassoun, editor, 2006 International Conference on Computer-Aided Design (ICCAD 06), November 5-9, 2006, San Jose, CA, USA. pages 772-778, ACM, 2006. [doi]
Abstract is missing.