Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin

Browse the full CAV paper archive.