Formell verifisering muliggjør tillit i stor skala