processo de verificação de derivação