CHESS es un verificador de modelos para encontrar errores/ Heisenbugs en programas de subprocesos múltiples mediante la iteración sistemática a través de todos los cambios de subprocesos posibles. La herramienta encuentra errores como carreras , interbloqueos y corrupción de datos que son extremadamente difíciles de encontrar con las pruebas normales. Una vez que se ha encontrado un error, CHESS proporciona una ejecución repetible del programa que provoca el error, lo que simplifica enormemente la depuración. CHESS se puede utilizar como una alternativa a las pruebas de estrés .