Nel limite, la verifica formale sarà troppo economica per essere misurata