Trace Id is missing

Unlock your potential with Microsoft Copilot

Get things done faster and unleash your creativity with the power of AI anywhere you go.
Microsoft Copilot app being utilized to generate pictures of a singing dog, assisting to identify a flower, and helping to generate an email to congratulate a coworker on a promotion.

CHESS: Systematic Concurrency-Testing Tool

CHESS is a tool for systematically testing multithreaded code. Last published: July 1, 2009.

Important! Selecting a language below will dynamically change the complete page content to that language.

Download
  • Version:

    v0.1.30626.0

    Date Published:

    5/11/2016

    File Name:

    chessMSR.msi

    File Size:

    9.2 MB

    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 http://research.microsoft.com/projects/CHESS/ for more information.
  • Supported Operating Systems

    Windows 10, Windows 7, Windows 8

    • Windows 7, Windows 8, or Windows 10
    • Click Download and follow the instructions.
Follow Microsoft