1. Verification of transactional memory in power8;Adir,2014
2. Verifying safety and liveness for the flextm hybrid transactional memory;Abdulla,2013
3. Transaction scheduling for software transactional memory;Basicevic,2017
4. Verifying correctness of transactional memories;Cohen,2007
5. Formalising of transactional memory using interval temporal logic (itl);Cau,2012