Just go there: CHESS: Systematic Concurrency Testing Source Code, click on the 'Download' button, read the licence text and if you're ok download the full package somewhere on your disk.

From there you can just extract the whole .ZIP file and open the All.Sln file at the root of the extracted files, it's a Visual Studio 2010 solution.