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

	Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3 DocID: 1rqhx - View Document
	Vivitek D55BA Feature-rich SVGA projector for easy Product Specifications portability DocID: 1rq6Z - View Document
	High-quality set-top ® VEGA X3 Highest Quality Crystal clear audio and superior video quality DocID: 1rpEJ - View Document
	ENG VZ-8light³ und VZ-8plus³ Quality imaging you can trust. DocID: 1rnXp - View Document
	NINJA FLAME INTENSE DETAIL. SCORCHING BRIGHTNESS. Ninja Flame overcomes the display challenges of shooting Log, displaying the full brightness range on a field monitor for the first time, with true-to-life vibrant colors DocID: 1rjOA - View Document