Verifying Linearizability on TSO Architectures.

John Derrick Graeme Smith Brijesh Dongol

Published in: IFM (2014)

Keyphrases

bayesian networks
probability distribution
model checking
genetic algorithm
relational databases
data mining
information retrieval
data structure
pairwise
control system