> Programmers often use other verification tools like unit testing or contracts to get strong assurances of similar properties.

Neither unit testing nor contracts are verification tools.