Formální ověřování umožňuje důvěru ve velkém měřítku