On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency.

Alex Horn, Daniel Kroening

Browse the full FORTE paper archive.