Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu. Verifying safety and liveness for the FlexTM hybrid transactional memory. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 785-790, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]
Abstract is missing.