Abstractions for Relaxed Memory Models Abstractions for Relaxed Memory Models Andrei Dan, Yuri Meshman, Martin Vechev, Eran Yahav 1 Verification under a relaxed memory model…