Verifying equivalence of memories using a first order logic theorem prover - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov. Verifying equivalence of memories using a first order logic theorem prover. In Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA. pages 128-135, IEEE, 2009. [doi]

This author has not been identified. Look up 'Zurab Khasidashvili' in GoogleThis author has not been identified. Look up 'Mahmoud Kinanah' in GoogleThis author has not been identified. It may be one of the following persons:

Andrei Voronkov

Look up 'Andrei Voronkov' in Google