Software Verification for Weak Memory via Program Transformation.

Jade Alglave Daniel Kroening Vincent Nimal Michael Tautschnig

Published in: ESOP (2013)

Keyphrases

memory usage
main memory
web services
computer programs
memory footprint
data sets
artificial intelligence
knowledge base
artificial neural networks
evolutionary algorithm
memory requirements
static analysis
linear transformation
control program
memory capacity