P.: An automata-based symbolic approach for verifying programs on relaxed memory models (2010)

by A Linden, Wolper
Venue:In: Proceedings of the 17th international SPIN conference on Model checking software. SPIN’10