Efficient Verification of Concurrent Programs over TSO Memory Model

Related