Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev

First Page		Document Content
Date: 2018-01-15 09:26:26 Logic Mathematical logic Linguistics Dekker's algorithm Edsger W. Dijkstra Predicate Flag		Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev Add to Reading List Source URL: practicalsynthesis.github.io Download Document from Source Website File Size: 3,16 MB Share Document on Facebook