La vérification formelle permet de créer de la confiance à grande échelle