Esame dei valori formali