Incremental deductive & inductive reasoning for SAT-based bounded model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao. Incremental deductive & inductive reasoning for SAT-based bounded model checking. In 2004 International Conference on Computer-Aided Design (ICCAD 04), November 7-11, 2004, San Jose, CA, USA. pages 502-509, IEEE Computer Society / ACM, 2004. [doi]

This author has not been identified. Look up 'Liang Zhang' in GoogleThis author has not been identified. Look up 'Mukul R. Prasad' in GoogleThis author has not been identified. Look up 'Michael S. Hsiao' in Google

runs on WebDSL