Verificarea formală permite încrederea la scară largă