Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution).

Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer

Browse the full TACAS paper archive.