Run-Time Verification of Optimistic Concurrency.

Ali Sezgin, Serdar Tasiran, Kivan Muslu, Shaz Qadeer

Browse the full RV paper archive.