Generating Data Race Witnesses by an SMT-Based Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mahmoud Said, Chao Wang, Zijiang Yang, Karem A. Sakallah. Generating Data Race Witnesses by an SMT-Based Analysis. In Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Volume 6617 of Lecture Notes in Computer Science, pages 313-327, Springer, 2011. [doi]

This author has not been identified. Look up 'Mahmoud Said' in GoogleThis author has not been identified. Look up 'Chao Wang' in GoogleThis author has not been identified. Look up 'Zijiang Yang' in GoogleThis author has not been identified. Look up 'Karem A. Sakallah' in Google

runs on WebDSL