Formal verification of arbiters using property strengthening and underapproximations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gadiel Auerbach, Fady Copty, Viresh Paruthi. Formal verification of arbiters using property strengthening and underapproximations. In Roderick Bloem, Natasha Sharygina, editors, Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. pages 21-24, IEEE, 2010. [doi]

This author has not been identified. Look up 'Gadiel Auerbach' in GoogleThis author has not been identified. Look up 'Fady Copty' in GoogleThis author has not been identified. Look up 'Viresh Paruthi' in Google

runs on WebDSL