StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs

Ricardo J Dias, Dino Distefano, Joao M Lourenço, Joao Costa Seco
Posted Jan 1, 2011
Link