Parameterized verification of transactional memories.

Michael Emmi, Rupak Majumdar, Roman Manevich

Browse the full PLDI paper archive.