Jeg tror dette er et av hovedargumentene for formell verifisering også Det er ikke så mye verktøyet, som det er i den strenge prosessen med å forstå koden.