An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.

Alexander Linden Pierre Wolper

Published in: SPIN (2010)

Keyphrases

model selection
data sets
artificial intelligence
probabilistic model
statistical models
neural network
information systems
computational model
computational models
accurate models