The Reads-From Equivalence for the TSO and PSO Memory Models

Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam +2

The verification of concurrent programs remains an open challenge due to the non-determinism in inter-process communication. One algorithmic problem in this challenge is the consis…