Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel. Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. Volume 13965 of Lecture Notes in Computer Science, pages 265-287, Springer, 2023. [doi]

This author has not been identified. Look up 'Wenhao Wu' in GoogleThis author has not been identified. Look up 'Jan Hückelheim' in GoogleThis author has not been identified. Look up 'Paul D. Hovland' in GoogleThis author has not been identified. Look up 'Ziqing Luo' in GoogleThis author has not been identified. Look up 'Stephen F. Siegel' in Google

runs on WebDSL