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

Natalia Gavrilenko*, Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, Roland Meyer

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

19 Citations (Scopus)
113 Downloads (Pure)

Fingerprint

Dive into the research topics of 'BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings'. Together they form a unique fingerprint.

Computer Science