Acho que este é um dos principais argumentos a favor da verificação formal também Não se trata tanto da ferramenta, mas sim do rigoroso processo de compreensão do código.