Lazy abstraction and SAT-based reachability in hardware model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yakir Vizel, Orna Grumberg, Sharon Shoham. Lazy abstraction and SAT-based reachability in hardware model checking. In Gianpiero Cabodi, Satnam Singh, editors, Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012. pages 173-181, IEEE, 2012. [doi]

This author has not been identified. Look up 'Yakir Vizel' in GoogleThis author has not been identified. Look up 'Orna Grumberg' in GoogleThis author has not been identified. Look up 'Sharon Shoham' in Google

runs on WebDSL