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

Chao Wang Yu Yang Aarti Gupta Ganesh Gopalakrishnan Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. 126-140 2008 ATVA http://dx.doi.org/10.1007/978-3-540-88387-6_11 conf/atva/2008 db/conf/atva/atva2008.html#WangYGG08