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

Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 20-36, 2015.

Cited by: 42|Views31
EI

Abstract:

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 ...More

Code:

Data:

Your rating :
0

 

Tags
Comments