relaxed memory

Efficient Verification of Concurrent Programs over TSO Memory Model