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

@inproceedings{Demsky2015SATCheckSS,
  title={SATCheck: SAT-directed stateless model checking for SC and TSO},
  author={Brian Demsky and Patrick Lam},
  booktitle={OOPSLA},
  year={2015}
}
Writing low-level concurrent code is well known to be challenging and error prone. The widespread deployment of multi-core hardware and the shift towards using low-level concurrent data structures has moved the problem into the mainstream. Finding bugs in such code may require finding a specific bug-revealing thread interleaving out of a huge space of parallel executions. Model-checking is a powerful technique for exhaustively testing code. However, scaling model checking presents a significant… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 27 CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…