CHESS release v0.1.30610.2: Data Race Detection, ChessBoard, Refinement Checking

The CHESS team is happy to announce a new release of CHESS, which includes a whole bunch of new features for concurrency testing of managed code and fixes for bugs reported on the CHESS MSDN forum (see the Channel 9 movie). Major features in this release include: 1. Data race detection for managed code; 2. ChessBoard,…

3