trace partitioning

From Traces to Proofs: Proving Concurrent Programs Safe

Efficient Verification of Concurrent Programs over TSO Memory Model