Formele verificatie maakt vertrouwen op grote schaal mogelijk