Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan. Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. In Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan, editors, Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Volume 5311 of Lecture Notes in Computer Science, pages 126-140, Springer, 2008. [doi]

This author has not been identified. Look up 'Chao Wang' in GoogleThis author has not been identified. Look up 'Yu Yang' in GoogleThis author has not been identified. Look up 'Aarti Gupta' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

runs on WebDSL