Predicate abstraction for relaxed memory models (2013)

by A M DAN, Y MESHMAN, M T VECHEV, E YAHAV
Venue:In SAS’13