Penso che questo sia uno dei principali argomenti a favore della verifica formale. Non è tanto lo strumento, quanto il rigoroso processo di comprensione del codice.