Verifying safety and liveness for the FlexTM hybrid transactional memory.

Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu

Browse the full DATE paper archive.