Wenchao Li, Alessandro Forin, Sanjit A. Seshia. Scalable specification mining for verification and diagnosis. In Sachin S. Sapatnekar, editor, Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010. pages 755-760, ACM, 2010. [doi]
Abstract is missing.