Things formal verification will not do: fix Poorly conceived business rules, prevent confusing UI, quickly modify code to adapt to rapidly changing circumstance

Things formal verification will not do: fix Poorly conceived business rules, prevent confusing UI, quickly modify code to adapt to rapidly changing circumstances, etc… One could formally verify that if the account number is set in the wash account (plus like six other places) then the loan won’t be repaid due to programming errors. But formal verification doesn’t tell one that the UI is garbage and hard to know that the account number needs entered in six places to get the correct formally verified action to occur instead of the other formally verified action that repays the loan in full.