Software Verification for Weak Memory via Program Transformation

Jade Alglave Daniel Kroening Vincent Nimal Michael Tautschnig

Published in: CoRR (2012)

Keyphrases

memory requirements
memory usage
database
control flow
decision making
similarity measure
memory space
memory footprint
limited memory
computing power
static analysis
computer programs
computational power
test cases
data management
high speed
search engine
artificial intelligence
data sets