Il calcolo e la verifica degli elementi di copertura in legno con AxisVM – Parte 4: Verifiche