BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings.

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

Browse the full CAV paper archive.