Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.

John Hatcliff, Robby, Matthew B. Dwyer

Browse the full VMCAI paper archive.