Experience with Model Checking Linearizability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin T. Vechev, Eran Yahav, Greta Yorsh. Experience with Model Checking Linearizability. In Corina S. Pasareanu, editor, Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Volume 5578 of Lecture Notes in Computer Science, pages 261-278, Springer, 2009. [doi]

This author has not been identified. Look up 'Martin T. Vechev' in GoogleThis author has not been identified. Look up 'Eran Yahav' in GoogleThis author has not been identified. Look up 'Greta Yorsh' in Google

runs on WebDSL