Creo que este es uno de los principales argumentos a favor de la verificación formal también No se trata tanto de la herramienta, sino del riguroso proceso de entender el código.