Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
CHESS: Systematic Concurrency-Testing Tool

CHESS is a tool for systematically testing multithreaded code. Given a concurrent test, CHESS systematically drives the test along all possible thread interleavings. It uses model-checking techniques to explore effectively the enormously large state space of interleavings and provides quantified coverage guarantees. CHESS can check for assertions, deadlocks, livelocks, and data races. On finding an error, CHESS can reproduce the thread interleaving that exposed an error. CHESS is research tool developed by Microsoft Research. Visit for more information.


File NamechessMSR.msi
Date Published1 July 2009
Download Size9.17 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.