Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.

Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan

Browse the full ATVA paper archive.