Documents Automatic Program Correction Anton Akhi Friday, July 08, 2011.

Slide 1 Automatic Program Correction Anton Akhi Friday, July 08, 2011 Slide 2 Plan Introduction Survey of existing tools 2 Slide 3 Why do we need automatic program correction?…

Documents Abstractions for Relaxed Memory Models

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…