Practical Abstractions for Automated Verification of Shared-Memory Concurrency.

Wytse Oortwijn, Dilian Gurov, Marieke Huisman

Browse the full VMCAI paper archive.