A compositional theory for post-reboot observational equivalence checking of hardware - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zurab Khasidashvili, Daher Kaiss, Doron Bustan. A compositional theory for post-reboot observational equivalence checking of hardware. In Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA. pages 136-143, IEEE, 2009. [doi]

This author has not been identified. Look up 'Zurab Khasidashvili' in GoogleThis author has not been identified. Look up 'Daher Kaiss' in GoogleThis author has not been identified. Look up 'Doron Bustan' in Google

runs on WebDSL