Automatable verification of sequential consistency.

Anne Condon Alan J. Hu

Published in: SPAA (2001)

Keyphrases

model checking
constraint networks
asynchronous circuits
case study
information retrieval
verification method
consistency checking
signature verification
face verification
temporal logic
path consistency
decision making
global consistency
learning algorithm
sequential search
database
maintaining consistency