A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems

TitleA Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems
Publication TypeConference Paper
Year of Publication2011
AuthorsLinden, A, Wolper P
Conference NameModel Checking Software - 18th International {SPIN} Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
PublisherSpringer
DOI10.1007/978-3-642-22306-8_10