Ik denk dat dit een van de belangrijkste argumenten is voor formele verificatie. Het gaat niet zozeer om de tool, maar om het rigoureuze proces van het begrijpen van de code.