Click here to go to the official CHESS page at Microsoft Research.
These instructions indicate how to install CHESS on Windows XP and to have it integrated with Microsoft Visual Studio 2008.
Click here to view the instructions.
I have created a few tutorials on how to use Microsoft Chess with some of my own examples. Feel free to view them here.
Click here. to view my tutorial that shows you how to repeat the LockFreeQueue test #1 inside of Visual Studio using Chess.
Click here to view my tutorial that shows you how to repeat the LockFreeQueue test #1 using the command-line tool MChess.exe and analyzing the interleaving using ConcurrencyExplorer.exe.
This example demonstrates a code example that includes producer threads and consumer threads. A mistake is introduced in the code that causes a race condition. CHESS is able to find the race condition.
Click here to view the details of this example.