Formal Machine-Checked Verification of a Real Transactional Memory Algorithm

Formal Machine-Checked Verification of a Real Transactional Memory Algorithm

08 November 2011

Slides for talk at WTTM 2011


Venue : N/A

File Name : WTTM2011.pdf



    • Resources For
    Partners
    Emerging Technology
    What’s New
    Contact Us