Model Checking Multithreaded Programs with Asynchronous Atomic Methods.

Koushik Sen, Mahesh Viswanathan

Browse the full CAV paper archive.