Especificação inicial da detecção de erros