Beyond safety: customized SAT-based model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Malay K. Ganai' in GoogleThis author has not been identified. Look up 'Aarti Gupta' in GoogleThis author has not been identified. Look up 'Pranav Ashar' in Google

runs on WebDSL