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

Brian Demsky, Patrick Lam. SATCheck: SAT-directed stateless model checking for SC and TSO. In Jonathan Aldrich, Patrick Eugster, editors, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. pages 20-36, ACM, 2015. [doi]

Abstract

Abstract is missing.