Formalna weryfikacja umożliwia zaufanie na dużą skalę