SATCheck: SAT-directed stateless model checking for SC and TSO.

Thu, 01 Jan 2015 00:00:00 +0100

Brian Demsky, Patrick Lam:
SATCheck: SAT-directed stateless model checking for SC and TSO. OOPSLA 2015: 20-36