An Executable Specification and Verifier for Relaxed Memory Order.

Seungjoon Park David L. Dill

Published in: IEEE Trans. Computers (1999)

Keyphrases

data sets
information systems
website
databases
real world
learning algorithm
probabilistic model
formal specification
memory usage