TDD Vs. formalisme mathématique : amis ou ennemis? (en)

Il n'est pas inhabituel d'opposer le processus empirique du TDD, incluant son importante utilisation de tests unitaires, à des techniques plus mathématiques, avec des "méthodes formelles" et des vérifications tout aussi formelles à la fin du process.
Cette opposition a-t-elle réellement lieu d'être?