Formal Machine-Checked Verification of a Real Transactional Memory Algorithm

Formal Machine-Checked Verification of a Real Transactional Memory Algorithm

Victor Luchangco

08 November 2011

Slides for talk at WTTM 2011


Venue : N/A