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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Brian Demsky' in GoogleThis author has not been identified. Look up 'Patrick Lam' in Google

runs on WebDSL