Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3

First Page		Document Content
Date: 2013-01-23 08:25:46 Memory Neuropsychological assessment Cognitive science Epistemology Microcontrollers Computer display standards Integrated circuits		Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3 Add to Reading List Source URL: www0.cs.ucl.ac.uk Download Document from Source Website File Size: 364,01 KB Share Document on Facebook