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

Question

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 this forum. Major features in this release include:

1. Data race detection for managed code;

2. ChessBoard, an interactive shell for CHESS that simplifies the typical user interactions with CHESS, such as launching CHESS runs and managing test results (it is especially useful for finding and reproducing data races);

3. Refinement checking for comparing the observed concurrent behaviors of a concurrent data type with its observable serial behaviors. 

Please go to the CHESS blog for more details about this release.