Verification of a Transactional Memory Manager under Hardware Failures and Restarts.

Ognjen Maric, Christoph Sprenger

Browse the full FM paper archive.