trace partitioning

From Traces to Proofs: Proving Concurrent Programs Safe
PDF Cite
Efficient Verification of Concurrent Programs over TSO Memory Model
PDF Cite