Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita. Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. In 7th International Symposium on Quality of Electronic Design (ISQED 2006), 27-29 March 2006, San Jose, CA, USA. pages 370-375, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Takeshi Matsumoto' in GoogleThis author has not been identified. Look up 'Hiroshi Saito' in GoogleThis author has not been identified. Look up 'Masahiro Fujita' in Google

runs on WebDSL