CHESS je model checker pro hledání chyb/ Heisenbugů ve vícevláknových programech systematickým procházením všech možných přepínačů vláken. Nástroj najde chyby, jako jsou rasy , uváznutí a poškození dat, které je extrémně těžké najít běžným testováním. Jakmile je nalezena chyba, CHESS poskytuje opakovatelné provedení programu vedoucí k chybě, což výrazně zjednodušuje ladění. CHESS lze použít jako alternativu k zátěžovému testování .