Je pense que c'est l'un des principaux arguments en faveur de la vérification formelle aussi Ce n'est pas tant l'outil, mais plutôt le processus rigoureux de compréhension du code.