La verifica formale consente di instaurare fiducia su larga scala