Just go there: CHESS: Systematic Concurrency Test source code , click the "Download" button, read the license text and if in order you download the complete package somewhere on your disk.
From there, you can simply extract the entire .ZIP file and open the file All.Slnin the root of the extracted files, this is Visual Studio 2010 solution.
source
share