A wide-spectrum language for verification of programs on weak memory models.

Robert J. Colvin Graeme Smith

Published in: CoRR (2018)

Keyphrases

neural network
model selection
language learning
prior knowledge
probabilistic model
programming language
object oriented
software engineering
experimental data
model checking
statistical models
computational models
computer programs
programming environment