A Precise Memory Model for Low-Level Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carsten Sinz, Stephan Falke, Florian Merz. A Precise Memory Model for Low-Level Bounded Model Checking. In Ralf Huuck, Gerwin Klein, Bastian Schlich, editors, 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010. USENIX Association, 2010. [doi]

This author has not been identified. Look up 'Carsten Sinz' in GoogleThis author has not been identified. Look up 'Stephan Falke' in GoogleThis author has not been identified. Look up 'Florian Merz' in Google

runs on WebDSL