verifica statica