Moore por ser precursores y autores "del más efectivo demostrador de teoremas como una herramienta de métodos formales para la verificación de hardware y software cuya seguridad es crítica".