Cred că acesta este unul dintre principalele argumente pentru verificarea formală Nu este atât instrumentul, cât este în procesul riguros de înțelegere a codului.