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

Brian Demsky, Patrick Lam

Browse the full OOPSLA paper archive.