Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

First Page		Document Content
Date: 2018-05-15 09:28:46		Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: www.sri.inf.ethz.ch Download Document from Source Website File Size: 417,68 KB Share Document on Facebook