Validador de IBAN

Um IBAN português começa com o código do país (PT) seguido de dois check digits, depois 4 dígitos do banco, 4 do balcão, 11 da conta e 2 finais de check nacional.

Para validar, movem-se os 4 primeiros caracteres para o fim, convertem-se as letras (PT → 2529) e verifica-se se o número resultante é congruente com 1 módulo 97. A mesma técnica funciona para IBANs de qualquer país — só o comprimento esperado é que muda.