"El error es básicamente imposible de descubrir mediante pruebas e inspección manual del código. Fue encontrado por un verificador automático de algoritmos de sincronización".
679