On the verification problem for weak memory models.

Mohamed Faouzi Atig Ahmed Bouajjani Sebastian Burckhardt Madanlal Musuvathi

Published in: POPL (2010)

Keyphrases

statistical models
real time
data sets
real world
databases
artificial intelligence
training data
artificial neural networks
probabilistic model
parameter estimation
machine learning algorithms
complex systems
statistical model
model checking
neural network model
computational power