Professor McCluskey y sus estudiantes en el Centro de Computación Confiable trabajaron en muchas ideas clave de la falla de la equivalencia, la modelación probabilística de redes lógicas, verificación pseudo-exhaustiva, y procesadores de vigilancia.