Formell verifiering möjliggör förtroende i stor skala