Proprietà di verifica attivate per la trave emergente