Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models.

Nicholas Coughlin Kirsten Winter Graeme Smith

Published in: FM (2021)

Keyphrases

database
parameter estimation
statistical model
statistical models
probabilistic model
experimental data
neural network
expert systems
artificial neural networks
complex systems
neural network model
computational models
model construction
formal models