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