nVerifique as propriedades invariantes
nalguns programas mantém propriedades da entrada
nnúmero de linha
ntamanho da entrada
nfreqüência de caracteres
§Ex: a
qualquer instante o número de elementos em uma estrutura de dados deve ser igual ao número
de inserções menos
o número de remoções.