Automated and Modular Refinement Reasoning for Concurrent Programs.

Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran

Browse the full CAV paper archive.