A General Approach to Under-Approximate Reasoning About Concurrent Programs.

Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn

Browse the full CONCUR paper archive.