Malay K. Ganai, Aarti Gupta, Pranav Ashar. Beyond safety: customized SAT-based model checking. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 738-743, ACM, 2005. [doi]
Abstract is missing.