An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order).

Seungjoon Park David L. Dill

Published in: SPAA (1995)

Keyphrases

real time
data sets
artificial intelligence
high level
formal specification
neural network
object oriented
database management systems
computing power
memory space