Verifying Correctness of Transactional Memories.

Ariel Cohen John W. O'Leary Amir Pnueli Mark R. Tuttle Lenore D. Zuck

Published in: FMCAD (2007)

Keyphrases

model checking
bayesian networks
management system
databases
artificial intelligence
website
medical images
fault tolerant
associative memory