On the Verification of Strong Atomicity in Programs Using STM.

Yong Li Yu Zhang Yiyun Chen Ming Fu

Published in: SSIRI (2009)

Keyphrases

hardware designs
symbolic execution
electronic commerce
model checking
computer programs
short term memory
genetic algorithm
integrity constraints
multidatabase systems