Definir o tipo de verificação para o estado limite último